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