Tobias Schubert 0001
4 publications
1 venues
H Index 4
Affiliation
Albert Ludwigs University of Freiburg, Computer Architecture, GermanyTobias Schubert 0002
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Laissez-Faire Caching for Parallel #SAT Solving.
|
SAT | 2015 | 27 |
| PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.
|
SAT | 2009 | 18 |
| Speedup Techniques Utilized in Modern SAT Solvers.
|
SAT | 2005 | 19 |
| Early Conflict Detection Based BCP for SAT Solving.
|
SAT | 2004 | 14 |