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 × Australia
1 × Hungary
1 × Italy
2 × USA
Collaborated with:
T.Schaub M.Gebser R.Kaminski M.Ostrowski B.Andres O.Matheis S.Thiele C.Drescher T.Grote A.König
Talks about:
asp (3) conflict (2) solver (2) driven (2) answer (2) optim (2) multi (2) clasp (2) solv (2) set (2)

Person: Benjamin Kaufmann

DBLP DBLP: Kaufmann:Benjamin

Contributed to:

ICLP 20122012
ICLP 20122012
ICLP 20112011
ICLP 20092009
ICLP 20082008
KR 20082008

Wrote 6 papers:

ICLP-2012-AndresKMS #optimisation #satisfiability
Unsatisfiability-based optimization in clasp (BA, BK, OM, TS), pp. 211–221.
ICLP-J-2012-GebserKS #concurrent #multi #thread
Multi-threaded ASP solving with clasp (MG, BK, TS), pp. 525–545.
ICLP-2011-GebserKKS #multi #optimisation #programming #set
Multi-Criteria Optimization in Answer Set Programming (MG, RK, BK, TS), pp. 1–10.
ICLP-2009-GebserKKS #constraints #implementation #on the
On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers (MG, RK, BK, TS), pp. 250–264.
ICLP-2008-GebserKKOST #incremental
Engineering an Incremental ASP Solver (MG, RK, BK, MO, TS, ST), pp. 190–205.
KR-2008-DrescherGGKKOS #set
Conflict-Driven Disjunctive Answer Set Solving (CD, MG, TG, BK, AK, MO, TS), pp. 422–432.

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.