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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mark H. Liffiton