Concepedia

Mark H. Liffiton

MH

10

Publications

939

Citations

10

H-Index

2004

Active since

Affiliations

University of Michigan(Current)

Illinois Wesleyan University

University College Dublin

Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento

University of Toronto

Mark H. Liffiton is an author at University of Michigan specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationComputer EngineeringComputational ComplexityProgram AnalysisSoftware Analysis

Publications per year

2004–2015

10

Publications

10

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints

Mark H. Liffiton, Karem A. Sakallah · Journal of Automated Reasoning · 2007 · 320 citations

Mathematical Programming, Constraint Solving, Engineering +8

Iterative and core-guided MaxSAT solving: A survey and assessment

António Morgado, Federico Heras, Mark H. Liffiton et al. · Constraints · 2013 · 165 citations

Numerical Analysis, Mathematical Programming, Large-scale Global Optimization +5

Exploiting structure in symmetry detection for CNF

Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah et al. · 2004 · 156 citations

Circuit Complexity, Engineering, Structural Pattern Recognition +21

Fast, flexible MUS enumeration

Mark H. Liffiton, Alessandro Previti, Ammar Malik et al. · Constraints · 2015 · 127 citations

Combinatorics On Word, Flexible Mus Enumeration, Engineering +7

Improved Design Debugging Using Maximum Satisfiability

Sean Safarp, Hratch Mangassarian, Andreas Veneris et al. · 2007 · 36 citations

Engineering, Hardware Verification Language, Verification +20

Rows per page

1–5 of 10