Multi-threaded ASP solving with clasp Academic Article

authors

Gebser, Martin

publication date

July 1, 2012

has subject area

published in

Theory and Practice of Logic Programming Journal

Digital Object Identifier (DOI)

https://doi.org/10.1017/s1471068412000166

start page

525

end page

545

volume

12

issue

4-5