Early Conflict Detection Based SAT Solving. - Matthew D. T. Lewis; Tobias Schubert 001; Bernd Becker 001 (MBMV, 2004)

Early Conflict Detection Based BCP for SAT Solving. - Matthew D. T. Lewis; Tobias Schubert 001; Bernd Becker 001 (SAT, 2004)

PaMira - A Parallel SAT Solver with Knowledge Sharing. - Tobias Schubert 001; Matthew D. T. Lewis; Bernd Becker 001 (MTV, 2005)

Speedup Techniques Utilized in Modern SAT Solvers. - Matthew D. T. Lewis; Tobias Schubert 001; Bernd Becker 001 (SAT, 2005)

Multithreaded SAT Solving. - Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (ASP-DAC, 2007)

Propositional approximations for bounded model checking of partial circuit designs. - Bernd Becker 001; Marc Herbstritt; Natalia Kalinnik; Matthew Lewis 004; Juri Lichtner; Tobias Nopper; Ralf Wimmer 001 (ICCD, 2008)

Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. - Paolo Marin; Matthew Lewis 004; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (RCRA@AI*IA, 2009)

Comparison of knowledge sharing strategies in a parallel QBF solver. - Paolo Marin; Massimo Narizzano; Enrico Giunchiglia; Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (HPCS, 2009)

QmiraXT - A Multithreaded QBF Solver. - Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (MBMV, 2009)

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Paolo Marin; Tobias Schubert 001; Massimo Narizzano; Bernd Becker 001; Enrico Giunchiglia (SAT, 2009)

TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. - Alejandro Czutro; Ilia Polian; Matthew Lewis 004; Piet Engelke; Sudhakar M. Reddy; Bernd Becker 001 (VLSI Design, 2009)

PaMiraXT: Parallel SAT Solving with Threads and Message Passing. - Tobias Schubert 001; Matthew Lewis 004; Bernd Becker 001 (J. Satisf. Boolean Model. Comput., 2009)

SAT Modulo BDD – A Combined Verification Approach for Incomplete Designs. - Tobias Nopper; Christian Miller; Matthew Lewis 004; Bernd Becker 001; Christoph Scholl 001 (MBMV, 2010)

Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. - Christian Miller; Stefan Kupferschmid; Matthew Lewis 004; Bernd Becker 001 (SAT, 2010)

Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. - Alejandro Czutro; Ilia Polian; Matthew Lewis 004; Piet Engelke; Sudhakar M. Reddy; Bernd Becker 001 (Int. J. Parallel Program., 2010)

An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. - Matthias Sauer 002; Victor Tomashevich; Jörg Müller 004; Matthew Lewis 004; Andreas Spilla; Ilia Polian; Bernd Becker 001; Wolfram Burgard (IOLTS, 2011)

Incremental preprocessing methods for use in BMC. - Stefan Kupferschmid; Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001 (Formal Methods Syst. Des., 2011)

Parallel QBF Solving with Advanced Knowledge Sharing. - Matthew Lewis 004; Tobias Schubert 001; Bernd Becker 001; Paolo Marin; Massimo Narizzano; Enrico Giunchiglia (Fundam. Informaticae, 2011)

SAT, QBF, and multicore processors. - Matthew Lewis 004 (2011)

ALLQBF Solving by Computational Learning. - Bernd Becker 001; Rüdiger Ehlers; Matthew Lewis 004; Paolo Marin (ATVA, 2012)

Verification of partial designs using incremental QBF solving. - Paolo Marin; Christian Miller; Matthew Lewis 004; Bernd Becker 001 (DATE, 2012)