Sakallah, Karem A. - Department of Electrical Engineering and Computer Science, University of Michigan

E-print Network

FAQ • HELP • SITE MAP • CONTACT US

Powered by Explorit

Advanced Search

Sakallah, Karem A. - Department of Electrical Engineering and Computer Science, University of Michigan

Breaking Instance-Independent Symmetries in Exact Graph Coloring Arathi Ramani, Fadi A. Aloul, Igor L. Markov and Karem A. Sakallah
Abstraction plays a critical role in verifying complex sys-tems. A number of languages have been proposed to model
Identifying and breaking the symmetries of CNF for-mulae has been shown to lead to significant reductions
Transistor Placement for Noncomplementary Digital VLSI Cell Synthesis
Abstract Determining the depth of sequential circuits is a cru-cial step towards the completeness of bounded model checking
Many important tasks in circuit design and verification can be per-formed in practice via reductions to Boolean Satisfiability (SAT), mak-