Matthew Lewis

17 papers A 3B 1C 2Misc 1Journal 4Unranked 5
YearRankTypeTitle / Venue / Authors
2012 B conf
ALLQBF Solving by Computational Learning.
ATVA
Bernd Becker, Rüdiger Ehlers, Matthew Lewis, Paolo Marin
2012 A conf
Verification of partial designs using incremental QBF solving.
DATE
Paolo Marin, Christian Miller, Matthew Lewis, Bernd Becker
2011 C conf
An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors.
IOLTS
Matthias Sauer, Victor Tomashevich, Jörg Müller, Matthew Lewis, Andreas Spilla, Ilia Polian, Bernd Becker, Wolfram Burgard
2011 J jnl
Incremental preprocessing methods for use in BMC.
Formal Methods Syst. Des.
Stefan Kupferschmid, Matthew Lewis, Tobias Schubert, Bernd Becker
2011 J jnl
Parallel QBF Solving with Advanced Knowledge Sharing.
Fundam. Informaticae
Matthew Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia
2011 — —
SAT, QBF, and multicore processors.
Matthew Lewis
2010 A conf
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.
SAT
Christian Miller, Stefan Kupferschmid, Matthew Lewis, Bernd Becker
2010 — conf
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs.
MBMV
Tobias Nopper, Christian Miller, Matthew Lewis, Bernd Becker, Christoph Scholl
2010 J jnl
Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis.
Int. J. Parallel Program.
Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
2009 — conf
Comparison of knowledge sharing strategies in a parallel QBF solver.
HPCS
Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew Lewis, Tobias Schubert, Bernd Becker
2009 — conf
Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver.
RCRA@AI*IA
Paolo Marin, Matthew Lewis, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
2009 J jnl
PaMiraXT: Parallel SAT Solving with Threads and Message Passing.
J. Satisf. Boolean Model. Comput.
Tobias Schubert, Matthew Lewis, Bernd Becker
2009 A conf
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.
SAT
Matthew Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia
2009 — conf
QmiraXT - A Multithreaded QBF Solver.
MBMV
Matthew Lewis, Tobias Schubert, Bernd Becker
2009 Misc conf
TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis.
VLSI Design
Alejandro Czutro, Ilia Polian, Matthew Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker
2008 C conf
Propositional approximations for bounded model checking of partial circuit designs.
ICCD
Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer
2007 — conf
Multithreaded SAT Solving.
ASP-DAC
Matthew Lewis, Tobias Schubert, Bernd Becker