dblp.uni-trier.dewww.uni-trier.de

Matthew D. T. Lewis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEBernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer: Propositional approximations for bounded model checking of partial circuit designs. ICCD 2008: 52-59
2007
4EEMatthew D. T. Lewis, Tobias Schubert, Bernd Becker: Multithreaded SAT Solving. ASP-DAC 2007: 926-931
2005
3EETobias Schubert, Matthew D. T. Lewis, Bernd Becker: PaMira - A Parallel SAT Solver with Knowledge Sharing. MTV 2005: 29-36
2EEMatthew D. T. Lewis, Tobias Schubert, Bernd Becker: Speedup Techniques Utilized in Modern SAT Solvers. SAT 2005: 437-443
2004
1EEMatthew D. T. Lewis, Tobias Schubert, Bernd Becker: Early Conflict Detection Based BCP for SAT Solving. SAT 2004

Coauthor Index

1Bernd Becker [1] [2] [3] [4] [5]
2Marc Herbstritt [5]
3Natalia Kalinnik [5]
4Juri Lichtner [5]
5Tobias Nopper [5]
6Tobias Schubert [1] [2] [3] [4]
7Ralf Wimmer [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)