Travelled to:1 × Canada
1 × Germany
3 × United Kingdom
Collaborated with:B.Becker T.Schubert C.Miller P.Marin S.Kupferschmid M.Narizzano E.Giunchiglia
Talks about:solv (3) techniqu (2) design (2) sat (2) qbf (2) increment (1) incomplet (1) distribut (1) knowledg (1) interpol (1)
Person: Matthew D. T. Lewis
DBLP: Lewis:Matthew_D=_T=
Contributed to:
2012
2010200920052004Wrote 5 papers:
- DATE-2012-MarinMLB #design #incremental #using #verification
- Verification of partial designs using incremental QBF solving (PM, CM, MDTL, BB), pp. 623–628.
- SAT-2010-MillerKLB #bound #design #encoding #model checking
- Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs (CM, SK, MDTL, BB), pp. 194–208.
- SAT-2009-LewisMSNBG #distributed #named
- PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing (MDTL, PM, TS, MN, BB, EG), pp. 509–523.
- SAT-2005-LewisSB #satisfiability
- Speedup Techniques Utilized in Modern SAT Solvers (MDTL, TS, BB), pp. 437–443.
- SAT-2004-LewisSB #detection #satisfiability
- Early Conflict Detection Based BCP for SAT Solving (MDTL, TS, BB), pp. 29–36.