Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming

Masood Feyzbakhsh Rankooh, Tomi Janhunen

Tutkimustuotos: KonferenssiartikkeliTieteellinenvertaisarvioitu

2 Lataukset (Pure)

Sormenjälki

Sukella tutkimusaiheisiin 'Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Keyphrases

Computer Science