|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 13 keywords
|
|
|
Results
Found 36 publication records. Showing 36 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
51 | Yue-Sun Kuo, W. K. Chou |
Generating essential primes for a Boolean function with multiple-valued inputs. |
DAC |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Leomar S. da Rosa Jr., André Inácio Reis, Renato P. Ribas, Felipe de Souza Marques, Felipe Ribeiro Schneider |
A comparative study of CMOS gates with minimum transistor stacks. |
SBCCI |
2007 |
DBLP DOI BibTeX RDF |
PTL, unateness, BDDs, technology mapping, switch theory, logical effort, CMOS gates |
31 | Leomar S. da Rosa Jr., Felipe S. Marques 0001, Tiago Muller Gil Cardoso, Renato P. Ribas, Sachin S. Sapatnekar, André Inácio Reis |
Fast disjoint transistor networks from BDDs. |
SBCCI |
2006 |
DBLP DOI BibTeX RDF |
PTL, unateness, BDDs, switch theory, CMOS gates |
31 | Felipe S. Marques 0001, Renato P. Ribas, Sachin S. Sapatnekar, André Inácio Reis |
A new approach to the use of satisfiability in false path detection. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
unateness, satisfiability, false paths |
29 | Xi Chen 0001, Anindya De, Yuhao Li 0002, Shivam Nadimpalli, Rocco A. Servedio |
Mildly Exponential Lower Bounds on Tolerant Testers for Monotonicity, Unateness, and Juntas. |
SODA |
2024 |
DBLP DOI BibTeX RDF |
|
29 | Xi Chen 0001, Anindya De, Yuhao Li 0002, Shivam Nadimpalli, Rocco A. Servedio |
Mildly Exponential Lower Bounds on Tolerant Testers for Monotonicity, Unateness, and Juntas. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Roksana Baleshzar, Deeparnab Chakrabarty, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, C. Seshadhri 0001 |
Optimal Unateness Testers for Real-Valued Functions: Adaptivity Helps. |
Theory Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Xi Chen 0001, Erik Waingarten |
Testing Unateness Nearly Optimally. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
29 | Amit Levi, Erik Waingarten |
Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs. |
ITCS |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Xi Chen 0001, Erik Waingarten |
Testing unateness nearly optimally. |
STOC |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Amit Levi, Erik Waingarten |
Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs. |
Electron. Colloquium Comput. Complex. |
2018 |
DBLP BibTeX RDF |
|
29 | Amit Levi, Erik Waingarten |
Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
29 | Roksana Baleshzar, Deeparnab Chakrabarty, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, C. Seshadhri 0001 |
Optimal Unateness Testers for Real-Valued Functions: Adaptivity Helps. |
Electron. Colloquium Comput. Complex. |
2017 |
DBLP BibTeX RDF |
|
29 | Roksana Baleshzar, Deeparnab Chakrabarty, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, C. Seshadhri 0001 |
A Lower Bound for Nonadaptive, One-Sided Error Testing of Unateness of Boolean Functions over the Hypercube. |
Electron. Colloquium Comput. Complex. |
2017 |
DBLP BibTeX RDF |
|
29 | Xi Chen 0001, Erik Waingarten, Jinyu Xie |
Boolean Unateness Testing with Õ(n3/4) Adaptive Queries. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
29 | Roksana Baleshzar, Deeparnab Chakrabarty, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, C. Seshadhri 0001 |
Optimal Unateness Testers for Real-Valued Functions: Adaptivity Helps. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
29 | Roksana Baleshzar, Deeparnab Chakrabarty, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, C. Seshadhri 0001 |
A Lower Bound for Nonadaptive, One-Sided Error Testing of Unateness of Boolean Functions over the Hypercube. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
29 | Xi Chen 0001, Erik Waingarten, Jinyu Xie |
Beyond Talagrand Functions: New Lower Bounds for Testing Monotonicity and Unateness. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
29 | Xi Chen 0001, Erik Waingarten, Jinyu Xie |
Boolean Unateness Testing with Õ(n3/4) Adaptive Queries. |
FOCS |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Roksana Baleshzar, Deeparnab Chakrabarty, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova, C. Seshadhri 0001 |
Optimal Unateness Testers for Real-Valued Functions: Adaptivity Helps. |
ICALP |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Xi Chen 0001, Erik Waingarten, Jinyu Xie |
Beyond Talagrand functions: new lower bounds for testing monotonicity and unateness. |
STOC |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Subhash Khot, Igor Shinkar |
An Õ(n) Queries Adaptive Tester for Unateness. |
Electron. Colloquium Comput. Complex. |
2016 |
DBLP BibTeX RDF |
|
29 | Deeparnab Chakrabarty, C. Seshadhri 0001 |
A Õ(n) Non-Adaptive Tester for Unateness. |
Electron. Colloquium Comput. Complex. |
2016 |
DBLP BibTeX RDF |
|
29 | Roksana Baleshzar, Meiram Murzabulatov, Ramesh Krishnan S. Pallavoor, Sofya Raskhodnikova |
Testing Unateness of Real-Valued Functions. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
29 | Subhash Khot, Igor Shinkar |
An $\widetilde{O}(n)$ Queries Adaptive Tester for Unateness. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
29 | Deeparnab Chakrabarty, C. Seshadhri 0001 |
A $\widetilde{O}(n)$ Non-Adaptive Tester for Unateness. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
29 | Subhash Khot, Igor Shinkar |
An ~O(n) Queries Adaptive Tester for Unateness. |
APPROX-RANDOM |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Felipe S. Marques 0001, Osvaldo Martinello, Renato P. Ribas, André Inácio Reis |
Improvements on the detection of false paths by using unateness and satisfiability. |
SBCCI |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Dhiraj K. Pradhan |
Asynchronous State Assignments with Unateness Properties and Fault-Secure Design. |
IEEE Trans. Computers |
1978 |
DBLP DOI BibTeX RDF |
upper bound on the number of state variables, fault-secure networks, self-checking networks, single-transition-time assignments, unate next-state functions, unidirectional faults, universal assignments, fault detection, Asynchronous networks, Berger codes, self-checking checker |
29 | Lawrence T. Fisher |
Unateness Properties of and-Exclusive-or Logic Circuits. |
IEEE Trans. Computers |
1974 |
DBLP DOI BibTeX RDF |
|
29 | James D. Bargainer |
R70-34 Unateness Test of a Boolean Function and Two General Synthesis Methods Using Threshold Logic. |
IEEE Trans. Computers |
1970 |
DBLP DOI BibTeX RDF |
|
29 | Branislav Hrúz |
Unateness Test of a Boolean Function and Two General Synthesis Methods Using Threshold Logic Elements. |
IEEE Trans. Computers |
1969 |
DBLP DOI BibTeX RDF |
|
25 | Kuo-Hua Wang, Chung-Ming Chan, Jung-Chang Liu |
Simulation and SAT-based Boolean matching for large Boolean networks. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
simulation and SAT, Boolean matching |
25 | Leonardo Franco, José Luis Subirats, Martin Anthony, José M. Jerez |
A New Constructive Approach for Creating All Linearly Separable (Threshold) Functions. |
IJCNN |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Alan Mishchenko, Tsutomu Sasao |
Large-scale SOP minimization using decomposition and functional properties. |
DAC |
2003 |
DBLP DOI BibTeX RDF |
SOP minimization, disjoint-support decomposition, orthodox functions, BDDs, divide-and-conquer strategy |
25 | Frédéric Mailhot 0001, Giovanni De Micheli |
Technology mapping using boolean matching and don't care sets. |
EURO-DAC |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #36 of 36 (100 per page; Change: )
|
|