Concepedia

Matthew Lewis

ML

Statistics

Publications

9

Citations

315

H-Index

9

Active since

2005

Affiliations

University of Freiburg(Current)

University of Iowa

Matthew Lewis is an author at University of Freiburg specializing in computer science, computing, and computer engineering.

Publications per year

2005–2012

9

Publications

9

Multithreaded SAT Solving

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

, , +15

PaMiraXT: Parallel SAT Solving with Threads and Message Passing

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

, , +9

Incremental preprocessing methods for use in BMC

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

, , +3

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

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

, , +7

PaMira - A Parallel SAT Solver with Knowledge Sharing

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

, , +16

1–5 of 9