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 × Germany
2 × United Kingdom
Collaborated with:
A.Biere M.Järvisalo F.Lonsing
Talks about:
solver (3) debug (2) test (2) sat (2) boolector (1) techniqu (1) express (1) develop (1) vector (1) effici (1)

Person: Robert Brummayer

DBLP DBLP: Brummayer:Robert

Contributed to:

ICLP 20102010
SAT 20102010
TACAS 20092009
CAV 20072007

Wrote 4 papers:

ICLP-J-2010-BrummayerJ #debugging #development #testing
Testing and debugging techniques for answer set solver development (RB, MJ), pp. 741–758.
SAT-2010-BrummayerLB #automation #debugging #satisfiability #testing
Automated Testing and Debugging of SAT and QBF Solvers (RB, FL, AB), pp. 44–57.
TACAS-2009-BrummayerB #array #named #performance #smt
Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays (RB, AB), pp. 174–177.
CAV-2007-BrummayerB #c #named #satisfiability
C32SAT: Checking C Expressions (RB, AB), pp. 294–297.

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.