Mark H. Liffiton

Available identifiers

zbMath Open liffiton.mark-hMaRDI QIDQ272006

List of research outcomes

Publication	Date of Publication	Type
Fast, flexible MUS enumeration	2016-04-20	Paper
Iterative and core-guided maxsat solving: a survey and assessment	2015-06-15	Paper
Enumerating Infeasibility: Finding Multiple MUSes Quickly	2013-06-04	Paper
A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas	2009-11-16	Paper
Generalizing Core-Guided Max-SAT	2009-07-07	Paper
Reveal: A Formal Verification Tool for Verilog Designs	2009-01-27	Paper
Searching for Autarkies to Trim Unsatisfiable Clause Sets	2008-05-27	Paper
Algorithms for computing minimal unsatisfiable subsets of constraints	2008-02-18	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper

Research outcomes over time

This page was built for person: Mark H. Liffiton