Christian Drescher
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Answer set solving with lazy nogood generation | 2014-02-25 | Paper |
| Efficient Approximation of Well-Founded Justification and Well-Founded Domination Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
| Modelling grammar constraints with answer set programming | 2012-08-29 | Paper |
| Constraint answer set programming systems | 2012-05-11 | Paper |
| Symmetry-breaking answer set solving | 2011-06-28 | Paper |
| Symmetry-breaking answer set solving (available as arXiv preprint) | 2011-06-28 | Paper |
| Symmetry breaking for distributed multi-context systems Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
| A translational approach to constraint answer set solving Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Research outcomes over time
This page was built for person: Christian Drescher
