BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Germany
1 × USA
2 × United Kingdom
Collaborated with:
B.Becker M.D.T.Lewis S.Reimer M.Sauer J.Burchard I.Polian P.Marin M.Narizzano E.Giunchiglia
Talks about:
sat (4) solv (3) base (2) distribut (1) techniqu (1) sensitiz (1) parallel (1) knowledg (1) conflict (1) speedup (1)

Person: Tobias Schubert

DBLP DBLP: Schubert:Tobias

Contributed to:

SAT 20152015
DATE 20142014
DATE 20132013
SAT 20092009
SAT 20052005
SAT 20042004

Wrote 6 papers:

SAT-2015-BurchardSB #parallel #satisfiability
Laissez-Faire Caching for Parallel #SAT Solving (JB, TS, BB), pp. 46–61.
DATE-2014-ReimerSSB #using
Using MaxBMC for Pareto-optimal circuit initialization (SR, MS, TS, BB), pp. 1–6.
DATE-2013-SauerRSPB #performance #satisfiability
Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths (MS, SR, TS, IP, BB), pp. 448–453.
SAT-2009-LewisMSNBG #distributed #named
PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing (MDTL, PM, TS, MN, BB, EG), pp. 509–523.
SAT-2005-LewisSB #satisfiability
Speedup Techniques Utilized in Modern SAT Solvers (MDTL, TS, BB), pp. 437–443.
SAT-2004-LewisSB #detection #satisfiability
Early Conflict Detection Based BCP for SAT Solving (MDTL, TS, BB), pp. 29–36.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.