Travelled to:1 × China
1 × USA
2 × United Kingdom
Collaborated with:K.A.Sakallah P.T.Darga I.L.Markov
Talks about:unsatisfi (2) subformula (1) symmetri (1) structur (1) general (1) exploit (1) autarki (1) search (1) detect (1) minim (1)
Person: Mark H. Liffiton
DBLP: Liffiton:Mark_H=
Contributed to:
200920082005
2004Wrote 5 papers:
- SAT-2009-LiffitonS #satisfiability
- Generalizing Core-Guided Max-SAT (MHL, KAS), pp. 481–494.
- SAT-2008-LiffitonS #satisfiability #set
- Searching for Autarkies to Trim Unsatisfiable Clause Sets (MHL, KAS), pp. 182–195.
- SAT-2005-LiffitonS #on the #satisfiability
- On Finding All Minimally Unsatisfiable Subformulas (MHL, KAS), pp. 173–186.
- DAC-2004-DargaLSM #detection #symmetry
- Exploiting structure in symmetry detection for CNF (PTD, MHL, KAS, ILM), pp. 530–534.