Matthew D. T. Lewis

	2012
14		Paolo Marin, Christian Miller, Matthew D. T. Lewis, Bernd Becker: Verification of partial designs using incremental QBF solving. DATE 2012: 623-628
	2011
13		Matthias Sauer, V. Tomashevich, J. Muller, Matthew D. T. Lewis, A. Spilla, Ilia Polian, Bernd Becker, W. Burgard: An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. IOLTS 2011: 182-185
12		Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Incremental preprocessing methods for use in BMC. Formal Methods in System Design 39(2): 185-204 (2011)
11		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia: Parallel QBF Solving with Advanced Knowledge Sharing. Fundam. Inform. 107(2-3): 139-166 (2011)
	2010
10		Christian Miller, Stefan Kupferschmid, Matthew D. T. Lewis, Bernd Becker: Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. SAT 2010: 194-208
9		Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. International Journal of Parallel Programming 38(3-4): 185-202 (2010)
	2009
8		Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia: PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. SAT 2009: 509-523
7		Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker: TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. VLSI Design 2009: 227-232
6		Tobias Schubert, Matthew D. T. Lewis, Bernd Becker: PaMiraXT: Parallel SAT Solving with Threads and Message Passing. JSAT 6(4): 203-222 (2009)
	2008
5		Bernd 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
4		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Multithreaded SAT Solving. ASP-DAC 2007: 926-931
	2005
3		Tobias Schubert, Matthew D. T. Lewis, Bernd Becker: PaMira - A Parallel SAT Solver with Knowledge Sharing. MTV 2005: 29-36
2		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Speedup Techniques Utilized in Modern SAT Solvers. SAT 2005: 437-443
	2004
1		Matthew D. T. Lewis, Tobias Schubert, Bernd Becker: Early Conflict Detection Based BCP for SAT Solving. SAT 2004

Coauthor Index

1	Bernd Becker	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14]
2	W. Burgard	[13]
3	Alejandro Czutro	[7] [9]
4	Piet Engelke	[7] [9]
5	Enrico Giunchiglia	[8] [11]
6	Marc Herbstritt	[5]
7	Natalia Kalinnik	[5]
8	Stefan Kupferschmid	[10] [12]
9	Juri Lichtner	[5]
10	Paolo Marin	[8] [11] [14]
11	Christian Miller	[10] [14]
12	J. Muller	[13]
13	Massimo Narizzano	[8] [11]
14	Tobias Nopper	[5]
15	Ilia Polian	[7] [9] [13]
16	Sudhakar M. Reddy	[7] [9]
17	Matthias Sauer	[13]
18	Tobias Schubert	[1] [2] [3] [4] [6] [8] [11] [12]
19	A. Spilla	[13]
20	V. Tomashevich	[13]
21	Ralf Wimmer	[5]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page