Matthew D. T. Lewis

Bernd Becker, Rüdiger Ehlers, Matthew D. T. Lewis, Paolo Marin: ALLQBF Solving by Computational Learning. ATVA 2012: 370-384

Paolo Marin, Christian Miller, Matthew D. T. Lewis, Bernd Becker: Verification of partial designs using incremental QBF solving. DATE 2012: 623-628

Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Incremental preprocessing methods for use in BMC. Formal Methods in System Design 39(2): 185-204 (2011)

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia: Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Inform. 107(2-3): 139-166 (2011)

Matthias Sauer, Victor Tomashevich, J. Muller, Matthew D. T. Lewis, A. Spilla, Ilia Polian, Bernd Becker, W. Burgard: An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. IOLTS 2011: 182-185

Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. International Journal of Parallel Programming 38(3-4): 185-202 (2010)

Tobias Nopper, Christian Miller, Matthew D. T. Lewis, Bernd Becker, Christoph Scholl: SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. MBMV 2010: 107-116

Christian Miller, Stefan Kupferschmid, Matthew D. T. Lewis, Bernd Becker: Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. SAT 2010: 194-208

Tobias Schubert, Matthew D. T. Lewis, Bernd Becker: PaMiraXT: Parallel SAT Solving with Threads and Message Passing. JSAT 6(4): 203-222 (2009)

Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Comparison of knowledge sharing strategies in a parallel QBF solver. HPCS 2009: 161-167

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: QmiraXT - A Multithreaded QBF Solver. MBMV 2009: 7-16

Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia: PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523

Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker: TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. VLSI Design 2009: 227-232

Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Multithreaded SAT Solving. ASP-DAC 2007: 926-931

Tobias Schubert, Matthew D. T. Lewis, Bernd Becker: PaMira - A Parallel SAT Solver with Knowledge Sharing. MTV 2005: 29-36

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Speedup Techniques Utilized in Modern SAT Solvers. SAT 2005: 437-443

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Early Conflict Detection Based SAT Solving. MBMV 2004: 243-249

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Early Conflict Detection Based BCP for SAT Solving. SAT 2004