BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Hungary
1 × USA
1 × United Kingdom
Collaborated with:
T.Walsh ∅ M.Gebser T.Grote B.Kaufmann A.König M.Ostrowski T.Schaub
Talks about:
answer (5) set (5) constraint (3) solv (3) program (2) translat (1) disjunct (1) conflict (1) approach (1) grammar (1)

Person: Christian Drescher

DBLP DBLP: Drescher:Christian

Contributed to:

ICLP 20122012
ICLP 20112011
ICLP 20102010
ICLP 20102010
KR 20082008

Wrote 5 papers:

ICLP-2012-DrescherW #generative #lazy evaluation #set
Answer Set Solving with Lazy Nogood Generation (CD, TW), pp. 188–200.
ICLP-2011-DrescherW #constraints #modelling #programming #set
Modelling Grammar Constraints with Answer Set Programming (CD, TW), pp. 28–39.
ICLP-2010-Drescher10 #constraints #programming #set
Constraint Answer Set Programming Systems (CD), pp. 255–264.
ICLP-J-2010-DrescherW #approach #constraints #set
A translational approach to constraint answer set solving (CD, TW), pp. 465–480.
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.