|
|
|
|
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 21 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde |
Parallel SAT Solving in Bounded Model Checking.  |
J. Log. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker, Paolo Marin, Massimo Narizzano, Enrico Giunchiglia |
Parallel QBF Solving with Advanced Knowledge Sharing. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Kupferschmid, Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
Incremental preprocessing methods for use in BMC. |
Formal Methods in System Design |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Sauer, Alexander Czutro, Tobias Schubert, Stefan Hillebrecht, Ilia Polian, Bernd Becker |
SAT-based analysis of sensitisable paths. |
DDECS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schubert, Matthew D. T. Lewis, Bernd Becker |
PaMiraXT: Parallel SAT Solving with Threads and Message Passing. |
JSAT |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matthew D. T. Lewis, Paolo Marin, Tobias Schubert, Massimo Narizzano, Bernd Becker, Enrico Giunchiglia |
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing. |
SAT |
2009 |
DBLP DOI BibTeX RDF |
Parallel QBF Solving, Master/Slave Architecture, MPI, Message Passing |
| 1 | Natalia Kalinnik, Tobias Schubert, Erika Ábrahám, Ralf Wimmer, Bernd Becker |
Picoso - A Parallel Interval Constraint Solver. |
PDPTA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Tobias Schubert |
SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System. |
|
2008 |
RDF |
|
| 1 | Martin Fränzle, Christian Herde, Tino Teige, Stefan Ratschan, Tobias Schubert |
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure. |
JSAT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
Multithreaded SAT Solving. |
ASP-DAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde |
Parallel SAT Solving in Bounded Model Checking. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schubert, Bernd Becker |
Lemma Exchange in a Microcontroller Based Parallel SAT Solver. |
ISVLSI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
Speedup Techniques Utilized in Modern SAT Solvers. |
SAT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schubert, Bernd Becker |
Knowledge Sharing in a Microcontroller based Parallel SAT Solver. |
PDPTA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Tobias Schubert, Matthew D. T. Lewis, Bernd Becker |
PaMira - A Parallel SAT Solver with Knowledge Sharing. |
MTV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schubert, Bernd Becker |
A Distributed SAT Solver for Microcontroller. |
ARCS Workshops |
2004 |
DBLP BibTeX RDF |
|
| 1 | Matthew D. T. Lewis, Tobias Schubert, Bernd Becker |
Early Conflict Detection Based BCP for SAT Solving. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Tobias Schubert, Bernd Becker |
Parallel SAT Solving with Microcontrollers. |
AACC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schubert, Bernd Becker |
PICHAFF2 - A Hierarchical Parallel SAT Solver. |
MTV |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Schubert, Elke Mackensen, Nicole Drechsler, Rolf Drechsler, Bernd Becker |
Specialized Hardware for Implementation of Evolutionary Algorithms. |
GECCO |
2000 |
DBLP BibTeX RDF |
|
| 1 | Rolf Drechsler, Nicole Drechsler, Elke Mackensen, Tobias Schubert, Bernd Becker |
Design Reuse by Modularity: A Scalable Dynamical (Re)Configurable Multiprocessor System. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")