Multi-threaded ASP solving with clasp Academic Article uri icon

publication date

  • July 1, 2012

start page

  • 525

end page

  • 545

volume

  • 12

issue

  • 4-5