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 |
|