Travelled to:1 × Finland
1 × Germany
1 × United Kingdom
Collaborated with:∅ B.Pelzer N.Manthey T.Philipp
Talks about:circumscript (1) inprocess (1) descript (1) project (1) program (1) system (1) solver (1) primit (1) sound (1) share (1)
Person: Christoph Wernhard
DBLP: Wernhard:Christoph
Contributed to:
2013
2010
2007Wrote 3 papers:
- SAT-2013-MantheyPW #satisfiability
- Soundness of Inprocessing in Clause Sharing SAT Solvers (NM, TP, CW), pp. 22–39.
- ICLP-2010-Wernhard10 #logic programming
- Circumscription and Projection as Primitives of Logic Programming (CW), pp. 202–211.
- CADE-2007-PelzerW
- System Description: E-KRHyper (BP, CW), pp. 508–513.