Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.

Rankooh, Masood Feyzbakhsh; Janhunen, Tomi (2022)
 
Avaa tiedosto
Lataukset: 



Rankooh, Masood Feyzbakhsh
Janhunen, Tomi
2022

doi:10.1007/978-3-031-15707-3_16
Näytä kaikki kuvailutiedot
Julkaisun pysyvä osoite on
https://urn.fi/URN:NBN:fi:tuni-202212299812

Kuvaus

Peer reviewed
Kokoelmat