Search results for "unate"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
152	Nripendra N. Biswas, C. Srikanth, James Jacob	Cubical CAMP for minimization of Boolean functions.	VLSI Design	1996	DBLP DOI BibTeX RDF	cubical CAMP algorithm, single Boolean function, QCAMP, UNATE TEST, cyclic function, prime cubes, Achilles heel function, Boolean functions, minimization, minimisation of switching nets, BISECT, unate function
79	Patrick C. McGeer, Robert K. Brayton	Timing Analysis in Precharge/Unate Networks.	DAC	1990	DBLP DOI BibTeX RDF
70	Debasis Samanta, Nishant Sinha 0001, Ajit Pal	Synthesis of High Performance Low Power Dynamic CMOS Circuits.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
62	Uwe Sparmann, Holger Müller, Sudhakar M. Reddy	Minimal Delay Test Sets for Unate Gate Networks.	Asian Test Symposium	1996	DBLP DOI BibTeX RDF
58	Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya	Implementing Symmetric Functions with Hierarchical Modules for Stuck-At and Path-Delay Fault Testability.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	universal tests, stuck-at fault, path-delay fault, synthesis-for-testability, unate function, symmetric boolean function
51	Seiko Ichikawa, Katsumi Suekuni, Masatoshi Ishimaru, Hiroyuki Nakatani, Takao Unate, Akira Nakasuga	Investigation of Cell-Gap Defects Using Gap Simulation.	IEICE Trans. Electron.	2006	DBLP DOI BibTeX RDF
50	Jianlin Qiu, Xiang Gu 0001, Fen Li, Dan Ji, Peng He	Minimization Algorithm of Unate Logic Functions.	CIT	2010	DBLP DOI BibTeX RDF	Unate Logic Functions, Complement Sets, Essential Prime Implicants, Algorithm, Minimization
50	Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez	Effective bounding techniques for solving unate and binate covering problems.	DAC	2005	DBLP DOI BibTeX RDF	binate, unate, satisfiability, branch and bound, covering
50	Tsutomu Sasao, Kozo Kinoshita	On the Number of Fanout-Free Functions and Unate Cascade Functions.	IEEE Trans. Computers	1979	DBLP DOI BibTeX RDF	disjunctive networks, enumeration of equivalence classes, enumeration of switching functions, fanout-free function, Cascade, threshold function, unate function
44	Roberto Cordone, Fabrizio Ferrandi, Donatella Sciuto, Roberto Wolfler Calvo	An efficient heuristic approach to solve the unate covering problem.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
44	Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Negative thinking in branch-and-bound: the case of unate covering.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
44	Roberto Cordone, Fabrizio Ferrandi, Donatella Sciuto, Roberto Wolfler Calvo	An Efficient Heuristic Approach to Solve the Unate Covering Problem.	DATE	2000	DBLP DOI BibTeX RDF
44	Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang	A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm.	DATE	2000	DBLP DOI BibTeX RDF
44	Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Negative thinking by incremental problem solving: application to unate covering.	ICCAD	1997	DBLP DOI BibTeX RDF	negative thinking, discrete optimization, covering problem
41	Byunghyun Lee, Ki-Seok Chung, Bontae Koo, Nak-Woong Eum, Taewhan Kim	Thermal sensor allocation and placement for reconfigurable systems.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	optimal placement, unate-covering problem, reconfigurable system, Thermal sensor
35	Xiao-dong Sun, Hong-Bin Zhang	A Fast Hole-filling Strategy of 3D Scanned Human Body.	CGIV	2009	DBLP DOI BibTeX RDF
35	Hafizur Rahaman 0001, Debesh K. Das	A Simple Delay Testable Synthesis of Symmetric Functions.	AACC	2004	DBLP DOI BibTeX RDF
35	Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya	Mapping Symmetric Functions to Hierarchical Modules for Path-Delay Fault Testability.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF
35	Hafizur Rahaman 0001, Debesh K. Das, Bhargab B. Bhattacharya	A New Synthesis of Symmetric Functions.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF
35	Susanta Chakrabarti, Sandip Das 0001, Debesh Kumar Das, Bhargab B. Bhattacharya	Synthesis of symmetric functions for path-delay fault testability.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
35	Vasco M. Manquinho, João Marques-Silva 0001	On Using Satisfiability-Based Pruning Techniques in Covering Algorithms.	DATE	2000	DBLP DOI BibTeX RDF
35	Susanta Chakraborty, Sandip Das 0001, Debesh K. Das, Bhargab B. Bhattacharya	Synthesis of Symmetric Functions for Path-Delay Fault Testability.	VLSI Design	1999	DBLP DOI BibTeX RDF
35	Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni De Micheli	Optimization of combinational logic circuits based on compatible gates.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
27	Abdirahman Alasow, Marek A. Perkowski	Quantum Algorithms for Unate and Binate Covering Problems with Application to Finite State Machine Minimization.	FLAP	2023	DBLP BibTeX RDF
27	Aniruddha Biswas, Palash Sarkar 0001	Counting unate and balanced monotone Boolean functions.	CoRR	2023	DBLP DOI BibTeX RDF
27	Maurizio Damiani	Partially unate Boolean functions: Properties of their sum-of-products representations.	Discret. Appl. Math.	2023	DBLP DOI BibTeX RDF
27	József Balogh, Dingding Dong, Bernard Lidický, Nitya Mani, Yufei Zhao	Nearly All k-SAT Functions Are Unate.	STOC	2023	DBLP DOI BibTeX RDF
27	József Balogh, Dingding Dong, Bernard Lidický, Nitya Mani, Yufei Zhao	Nearly all k-SAT functions are unate.	CoRR	2022	DBLP DOI BibTeX RDF
27	Utkarsh Gupta, Priyank Kalla, Vikas Rao	Boolean Gröbner Basis Reductions on Finite Field Datapath Circuits Using the Unate Cube Set Algebra.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2019	DBLP DOI BibTeX RDF
27	Víctor Lavín Puente	Learning with Queries inside the Class of Unate k-quasi-Horn Formulas.	New Gener. Comput.	2015	DBLP DOI BibTeX RDF
27	Bernd Steinbach, Christian Posthoff	Evaluation and Optimization of GPU Based Unate Covering Algorithms.	EUROCAST	2015	DBLP DOI BibTeX RDF
27	Hiroki Morizumi	Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions.	IFIP TCS	2014	DBLP DOI BibTeX RDF
27	Arighna Deb, Debesh K. Das, Hafizur Rahaman 0001, Bhargab B. Bhattacharya	Reversible synthesis of symmetric boolean functions based on unate decomposition.	ACM Great Lakes Symposium on VLSI	2013	DBLP DOI BibTeX RDF
27	Bernd Steinbach, Christian Posthoff	Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPU.	EUROCAST (2)	2013	DBLP DOI BibTeX RDF
27	Kei Uchizawa, Eiji Takimoto, Takao Nishizeki	Size-energy tradeoffs for unate circuits computing symmetric Boolean functions.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
27	Riccardo Porreca, Eugenio Cinquemani, John Lygeros, Giancarlo Ferrari-Trecate	Identification of genetic network dynamics with unate structure.	Bioinform.	2010	DBLP DOI BibTeX RDF
27	Riccardo Porreca, Eugenio Cinquemani, John Lygeros, Giancarlo Ferrari-Trecate	Structural identification of unate-like genetic network models from time-lapse protein concentration measurements.	CDC	2010	DBLP DOI BibTeX RDF
27	Hiroaki Kikuchi	Identification of Incompletely Specified Fuzzy Unate Logic Function.	ISMVL	2001	DBLP DOI BibTeX RDF
27	Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems.	VLSI	1999	DBLP BibTeX RDF
27	Aaron Feigelson, Lisa Hellerstein	Conjunctions of Unate DNF Formulas: Learning and Structure.	Inf. Comput.	1998	DBLP DOI BibTeX RDF
27	Aaron Feigelson, Lisa Hellerstein	The Forbidden Projections of Unate Functions.	Discret. Appl. Math.	1997	DBLP DOI BibTeX RDF
27	Aaron Feigelson, Lisa Hellerstein	Learning Conjunctions of Two Unate DNF Formulas (Extended Abstract): Computational and Informational Results.	COLT	1996	DBLP DOI BibTeX RDF
27	Sandip Kundu	An efficient technique for obtaining unate implementation of functions through input encoding.	Integr.	1994	DBLP DOI BibTeX RDF
27	Shin-ichi Minato	Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs.	DAC	1994	DBLP DOI BibTeX RDF
27	Uri Zwick	A 4n Lower Bound on the Combinational Complexity of Certain Symmetric Boolean Functions over the Basis of Unate Dyadic Boolean Functions.	SIAM J. Comput.	1991	DBLP DOI BibTeX RDF
27	Yutaka Hata, Masaharu Yuhara, Fujio Miyawaki, Kazuharu Yamato	On the Complexity of Enumerations for Multiple-Valued Kleenean Functions and Unate Functions.	ISMVL	1991	DBLP DOI BibTeX RDF
27	Vijay Pitchumani, Satish S. Soman	Functional Test Generation Based on Unate Function Theory.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF
27	D. Michael Miller, Jon C. Muzio	Spectral Fault Signatures for Internally Unate Combinational Networks.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF
27	André Thayse, Jean-Pierre Deschamps	Logic Properties of Unate Discrete and Switching Functions.	IEEE Trans. Computers	1977	DBLP DOI BibTeX RDF
27	Subir Bandyopadhyay, A. Pal, Arun K. Choudhury	Characterization of Unate Cascade Realizability Using Parameters.	IEEE Trans. Computers	1975	DBLP DOI BibTeX RDF
27	S. C. De Sarkar, Subir Bandyopadhyay, Arun K. Choudhury	Unate Cascade Realization of Synchronous Sequential Machines.	IEEE Trans. Computers	1974	DBLP DOI BibTeX RDF
27	Charles R. Baugh	Generation of Representative Functions of the NPN Equivalence Classes of Unate Boolean Functions.	IEEE Trans. Computers	1972	DBLP DOI BibTeX RDF
27	Rodolfo Betancourt	Derivation of Minimum Test Sets for Unate Logical Circuits.	IEEE Trans. Computers	1971	DBLP DOI BibTeX RDF
27	William S. Matheson	Recognition of Monotonic and Unate Cascade Realizable Functions Using an Informational Model of Switching Circuits.	IEEE Trans. Computers	1971	DBLP DOI BibTeX RDF
27	Jack Sklansky	R70-16 Unate Cellular Logic.	IEEE Trans. Computers	1970	DBLP DOI BibTeX RDF
27	Amar Mukhopadhyay	Unate Cellular Logic.	IEEE Trans. Computers	1969	DBLP DOI BibTeX RDF
27	Donald Liss	A Test for Unate Truth Functions.	IEEE Trans. Electron. Comput.	1963	DBLP DOI BibTeX RDF
27	Robert McNaughton	Unate Truth Functions.	IRE Trans. Electron. Comput.	1961	DBLP DOI BibTeX RDF
23	Debasis Samanta, Ajit Pal	Synthesis of Dual-VT Dynamic CMOS Circuits.	VLSI Design	2003	DBLP DOI BibTeX RDF	nora logic, unate decomposition, low power, Logic synthesis, high performance, leakage power, domino logic, dynamic circuits, dual-VT
23	Paulo F. Flores, Horácio C. Neto, João P. Marques Silva	On Applying Set Covering Models to Test Set Compaction.	Great Lakes Symposium on VLSI	1999	DBLP DOI BibTeX RDF	Test Set Compaction, Unate Covering Problem, Test Pattern Generation, Set Covering
23	Yuke Wang, Carl McCrosky	Negation Trees: A Unified Approach to Boolean Function Complementation.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	complementation algorithms, negation trees, Boolean functions, unate functions
23	Yue-Sun Kuo	Generating Essential Primes for a Boolean Function with Multiple-Valued Inputs.	IEEE Trans. Computers	1987	DBLP DOI BibTeX RDF	Boolean function with multiple-valued inputs, essential prime implicant, tautology checking, consensus, logic minimization, unate function
23	Bhargab B. Bhattacharya, Bidyut Gupta	On the Impossible Class of Faulty Functions in Logic Networks Under Short Circuit Faults.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	fan-out-free functions, N-equivalence classes, P-equivalence classes, short circuit faults, fault detection, stuck-at faults, Bridging faults, combinational logic, unate functions
23	Jacob Savir	Syndrome-Testing of "Syndrome-Untestable" Combinational Circuits.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	Inversion parity, reconvergent fan-out, unate function
23	Alexander Iosupovicz	Optimal Detection of Bridge Faults and Stuck-At Faults in Two-Level Logic.	IEEE Trans. Computers	1978	DBLP DOI BibTeX RDF	fault detection experiments, minimal test set, two-level logic, stuck-at faults, Bridge faults, unate functions
23	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
17	Kei Uchizawa, Takao Nishizeki, Eiji Takimoto	Size and Energy of Threshold Circuits Computing Mod Functions.	MFCS	2009	DBLP DOI BibTeX RDF
17	Byunghyun Lee, Taewhan Kim	Optimal allocation and placement of thermal sensors for reconfigurable systems and its practical extension.	ASP-DAC	2008	DBLP DOI BibTeX RDF
17	Franc Brglez, Jason A. Osborne	Performance testing of combinatorial solvers with isomorph class instances.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	scientific method
17	Leonardo Franco, José Luis Subirats, José M. Jerez	MaxSet: An Algorithm for Finding a Good Approximation for the Largest Linearly Separable Set.	ICANN (1)	2007	DBLP DOI BibTeX RDF
17	Jon T. Butler, Tsutomu Sasao, Munehiro Matsuura	Average Path Length of Binary Decision Diagrams.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	average path length, worst-case path length, APL, Binary decision diagrams, BDD
17	Sridhar Dasika, Sarma B. K. Vrudhula, Kaviraj Chopra, R. Srinivasan	A Framework for Battery-Aware Sensor Management.	DATE	2004	DBLP DOI BibTeX RDF
17	Christian Plessl, Marco Platzner	Instance-Specific Accelerators for Minimum Covering.	J. Supercomput.	2003	DBLP DOI BibTeX RDF	instance-specific acceleration, minimum covering, reconfigurable computing
17	Marta Arias, Roni Khardon, Rocco A. Servedio	Polynomial Certificates for Propositional Classes.	COLT	2003	DBLP DOI BibTeX RDF
17	Vasco M. Manquinho, João P. Marques Silva	Search pruning techniques in SAT-based branch-and-bound algorithmsfor the binate covering problem.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2002	DBLP DOI BibTeX RDF
17	Shin-ichi Minato	Zero-suppressed BDDs and their applications.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Boolean function, BDD, Combinatorial problem, VLSI CAD, ZBDD
17	Farzan Fallah, Stan Y. Liao, Srinivas Devadas	Solving covering problems using LPR-based lower bounds.	IEEE Trans. Very Large Scale Integr. Syst.	2000	DBLP DOI BibTeX RDF
17	Uwe Sparmann, Holger Müller, Sudhakar M. Reddy	Universal delay test sets for logic networks.	IEEE Trans. Very Large Scale Integr. Syst.	1999	DBLP DOI BibTeX RDF
17	Takashi Horiyama, Toshihide Ibaraki	Ordered Binary Decision Diagrams as Knowledge-Bases.	ISAAC	1999	DBLP DOI BibTeX RDF
17	Stan Y. Liao, Srinivas Devadas	Solving Covering Problems Using LPR-Based Lower Bounds.	DAC	1997	DBLP DOI BibTeX RDF	integer linear programming, Covering problems
17	Beyin Chen, Chung-Len Lee 0001	Universal test set generation for CMOS circuits.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	functional testing, automatic test generation, CMOS circuits, stuck-open faults, universal test set
17	Srinivas Devadas, A. Richard Newton	Exact algorithms for output encoding, state assignment, and four-level Boolean minimization.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
17	Sreejit Chakravarty	On the complexity of computing tests for CMOS gates.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1989	DBLP DOI BibTeX RDF
17	John P. Hayes	Enumeration of Fanout-Free Boolean Functions.	J. ACM	1976	DBLP DOI BibTeX RDF