selected publications
-
academic article
- Multi-threaded ASP solving with clasp. Theory and Practice of Logic Programming. 12:525-545. 2012
-
blog posting
- Multi-threaded ASP Solving with clasp. arXiv (Cornell University). 2012
-
chapter
- Cluster-Based ASP Solving with claspar. Springer eBooks. 364-369. 2011
- clasp: A Conflict-Driven Answer Set Solver. Springer eBooks. 260-265. 2007
-
conference paper
- On Probing and Multi-Threading in PLATYPUS. European Conference on Artificial Intelligence. 392-396. 2006