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 × Italy
1 × United Kingdom
Collaborated with:
E.M.Clarke M.Janota J.Marques-Silva S.Sapra S.Gao
Talks about:
qbf (2) non (2) counterexampl (1) clausal (1) solver (1) prenex (1) state (1) refin (1) learn (1) solv (1)

Person: William Klieber

DBLP DBLP: Klieber:William

Contributed to:

SAT 20122012
SAT 20102010

Wrote 2 papers:

SAT-2012-JanotaKMC #refinement
Solving QBF with Counterexample Guided Refinement (MJ, WK, JMS, EMC), pp. 114–128.
SAT-2010-KlieberSGC #learning
A Non-prenex, Non-clausal QBF Solver with Game-State Learning (WK, SS, SG, EMC), pp. 128–142.

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.