Search results for "unateness"

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 Õ(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