Matthew Lewis

According to our database, Matthew Lewis authored at least 21 papers between 2004 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Verification of partial designs using incremental QBF solving.

Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

ALLQBF Solving by Computational Learning.

Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

SAT, QBF, and multicore processors.

Matthew Lewis

PhD thesis, 2011

Parallel QBF Solving with Advanced Knowledge Sharing.

Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia

Fundam. Informaticae, 2011

Incremental preprocessing methods for use in BMC.

Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker

Formal Methods Syst. Des., 2011

An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors.

Matthias Sauer, Victor Tomashevich, Jörg Müller, Matthew Lewis, Andreas Spilla, Ilia Polian, Bernd Becker, Wolfram Burgard

Proceedings of the 17th IEEE International On-Line Testing Symposium (IOLTS 2011), 2011

2010

Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis.

Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker

Int. J. Parallel Program., 2010

Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.

Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs.

Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

2009

PaMiraXT: Parallel SAT Solving with Threads and Message Passing.

Tobias Schubert, Matthew Lewis, Bernd Becker

J. Satisf. Boolean Model. Comput., 2009

TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis.

Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker

Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.

Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

QmiraXT - A Multithreaded QBF Solver.

Matthew Lewis, Tobias Schubert, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Comparison of knowledge sharing strategies in a parallel QBF solver.

Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker

Proceedings of the 2009 International Conference on High Performance Computing & Simulation, 2009

Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver.

Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia

Proceedings of the 16th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2009

2008

Propositional approximations for bounded model checking of partial circuit designs.

Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer

Proceedings of the 26th International Conference on Computer Design, 2008

2007

Multithreaded SAT Solving.

Matthew Lewis, Tobias Schubert, Bernd Becker

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2005

Speedup Techniques Utilized in Modern SAT Solvers.

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

PaMira - A Parallel SAT Solver with Knowledge Sharing.

Tobias Schubert, Matthew D. T. Lewis, Bernd Becker

Proceedings of the Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), 2005

2004

Early Conflict Detection Based BCP for SAT Solving.

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker

Proceedings of the SAT 2004, 2004

Early Conflict Detection Based SAT Solving.

Matthew D. T. Lewis, Tobias Schubert, Bernd Becker

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004