Matthew Lewis

Multithreaded SAT Solving

Matthew Lewis, Tobias Schubert, Bernd Becker · 2007 · 80 citations

Engineering, Computer Architecture, Computational Complexity +19

PaMiraXT: Parallel SAT Solving with Threads and Message Passing

Tobias Schubert, Matthew Lewis, Bernd Becker · Journal on Satisfiability Boolean Modeling and Computation · 2009 · 61 citations · Full text

Cluster Computing, Engineering, Computer Architecture +16

Incremental preprocessing methods for use in BMC

Stefan Kupferschmid, Matthew Lewis, Tobias Schubert et al. · Formal Methods in System Design · 2011 · 32 citations

Refinement Technique, Engineering, Process Control +8

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

Alejandro Czutro, Ilia Polian, Matthew Lewis et al. · 2009 · 31 citations

Engineering, Hardware Verification Language, Test Data Generation +18

PaMira - A Parallel SAT Solver with Knowledge Sharing

Tobias Schubert, Matthew Lewis, Bernd Becker · Proceedings · 2005 · 30 citations

Cluster Computing, Engineering, Linear Speedup +20