|
Search the dblp DataBase
Mark H. Liffiton:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah
Refinement strategies for verification methods based on datapath abstraction. [Citation Graph (0, 0)][DBLP] ASP-DAC, 2006, pp:19-24 [Conf]
- Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov
Exploiting structure in symmetry detection for CNF. [Citation Graph (0, 0)][DBLP] DAC, 2004, pp:530-534 [Conf]
- Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah
Identifying Conflicts in Overconstrained Temporal Problems. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:205-211 [Conf]
- Mark H. Liffiton, Karem A. Sakallah
On Finding All Minimally Unsatisfiable Subformulas. [Citation Graph (0, 0)][DBLP] SAT, 2005, pp:173-186 [Conf]
Improved Design Debugging Using Maximum Satisfiability. [Citation Graph (, )][DBLP]
Reveal: A Formal Verification Tool for Verilog Designs. [Citation Graph (, )][DBLP]
Searching for Autarkies to Trim Unsatisfiable Clause Sets. [Citation Graph (, )][DBLP]
Generalizing Core-Guided Max-SAT. [Citation Graph (, )][DBLP]
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|