Integer and combinatorial optimization
Integer and combinatorial optimization
Two-level logic minimization: an overview
Integration, the VLSI Journal
New ideas for solving covering problems
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
DAC '96 Proceedings of the 33rd annual Design Automation Conference
GRASP—a new search algorithm for satisfiability
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Solving covering problems using LPR-based lower bounds
DAC '97 Proceedings of the 34th annual Design Automation Conference
Negative thinking by incremental problem solving: application to unate covering
ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Synthesis and Optimization of Digital Circuits
Synthesis and Optimization of Digital Circuits
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
An Exact Solution to the Minimum Size Test Pattern Problem
ICCD '98 Proceedings of the International Conference on Computer Design
Prime Implicant Computation Using Satisfiability Algorithms
ICTAI '97 Proceedings of the 9th International Conference on Tools with Artificial Intelligence
Explicit and implicit algorithms for binate covering problems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Boolean satisfiability in electronic design automation
Proceedings of the 37th Annual Design Automation Conference
Modelling Digital Circuits Problems with Set Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
Generic ILP versus specialized 0-1 ILP: an update
Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Solution and Optimization of Systems of Pseudo-Boolean Constraints
IEEE Transactions on Computers
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Thermal sensor allocation and placement for reconfigurable systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Technique for controlling power-mode transition noise in distributed sleep transistor network
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
| Hi-index | 0.00 |