BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × France
Collaborated with:
P.Manolios D.Vroon M.Might O.Shivers
Talks about:
generat (1) faster (1) better (1) model (1) gamma (1) check (1) solv (1) sat (1) cnf (1) cfa (1)

Person: Benjamin Chambers

DBLP DBLP: Chambers:Benjamin

Contributed to:

DATE 20092009
VMCAI 20072007

Wrote 2 papers:

DATE-2009-ChambersMV #generative #performance #satisfiability
Faster SAT solving with better CNF generation (BC, PM, DV), pp. 1590–1595.
VMCAI-2007-MightCS #model checking
Model Checking Via GammaCFA (MM, BC, OS), pp. 59–73.

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.