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