The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Matthew D. T. Lewis" ( http://dblp.L3S.de/Authors/Matthew_D._T._Lewis )

  Author page on DBLP  Author page in RDF  Community of Matthew D. T. Lewis in ASPL-2

Publication years (Num. hits)
2004-2010 (15) 2011-2012 (5)
Publication types (Num. hits)
article(4) inproceedings(16)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 21 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Bernd Becker 0001, Rüdiger Ehlers, Matthew D. T. Lewis, Paolo Marin ALLQBF Solving by Computational Learning. Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Christian Miller, Matthew D. T. Lewis, Bernd Becker 0001 Verification of partial designs using incremental QBF solving. Search on Bibsonomy DATE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Incremental preprocessing methods for use in BMC. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia Parallel QBF Solving with Advanced Knowledge Sharing. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthias Sauer 0002, Victor Tomashevich, Jörg Müller 0004, Matthew D. T. Lewis, Andreas Spilla, Ilia Polian, Bernd Becker 0001, Wolfram Burgard An FPGA-based framework for run-time injection and analysis of soft errors in microprocessors. Search on Bibsonomy IOLTS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker 0001 Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability Analysis. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tobias Nopper, Christian Miller, Matthew D. T. Lewis, Bernd Becker 0001, Christoph Scholl SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs. Search on Bibsonomy MBMV The full citation details ... 2010 DBLP  BibTeX  RDF
1Christian Miller, Stefan Kupferschmid, Matthew D. T. Lewis, Bernd Becker 0001 Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tobias Schubert 0001, Matthew D. T. Lewis, Bernd Becker 0001 PaMiraXT: Parallel SAT Solving with Threads and Message Passing. Search on Bibsonomy JSAT The full citation details ... 2009 DBLP  BibTeX  RDF
1Alejandro Czutro, Ilia Polian, Matthew D. T. Lewis, Piet Engelke, Sudhakar M. Reddy, Bernd Becker 0001 TIGUAN: Thread-Parallel Integrated Test Pattern Generator Utilizing Satisfiability ANalysis. Search on Bibsonomy VLSI Design The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 QmiraXT - A Multithreaded QBF Solver. Search on Bibsonomy MBMV The full citation details ... 2009 DBLP  BibTeX  RDF
1Paolo Marin, Massimo Narizzano, Enrico Giunchiglia, Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Comparison of knowledge sharing strategies in a parallel QBF solver. Search on Bibsonomy HPCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Paolo Marin, Matthew D. T. Lewis, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia Evaluation of Knowledge Sharing Strategies in a Parallel QBF Solver. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Matthew D. T. Lewis, Paolo Marin, Tobias Schubert 0001, Massimo Narizzano, Bernd Becker 0001, Enrico Giunchiglia PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. Search on Bibsonomy SAT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Parallel QBF Solving, Master/Slave Architecture, MPI, Message Passing
1Bernd Becker 0001, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer Propositional approximations for bounded model checking of partial circuit designs. Search on Bibsonomy ICCD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Multithreaded SAT Solving. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Speedup Techniques Utilized in Modern SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tobias Schubert 0001, Matthew D. T. Lewis, Bernd Becker 0001 PaMira - A Parallel SAT Solver with Knowledge Sharing. Search on Bibsonomy MTV The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Early Conflict Detection Based SAT Solving. Search on Bibsonomy MBMV The full citation details ... 2004 DBLP  BibTeX  RDF
1Matthew D. T. Lewis, Tobias Schubert 0001, Bernd Becker 0001 Early Conflict Detection Based BCP for SAT Solving. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license