Artikel in einem Konferenzbericht,

ASP modulo CSP: The clingcon system.

.
ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 458-463. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen