Proceedings 38th International Conference on Logic Programming: ApproxASP - A Scalable Approximate Answer Set Counter (Extended Abstract)

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Electronic proceedings in theoretical computer science 2022-08, Vol.364, p.139-142
Hauptverfasser:	Kabir, Mohimenul, Everardo, Flavio, Shukla, Ankit, Fichte, Johannes K., Hecher, Markus, Meel, Kuldeep S.
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!