aspmc: New frontiers of algebraic answer set counting

Download PDF
Open Webpage

Thomas Eiter, Markus Hecher, Rafael Kiesel

Published: 01 Jan 2024, Last Modified: 12 May 2025Artif. Intell. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Highlights•In depth theoretical comparison of strategies.•Improvements over existing strategies.•Efficient implementation.•In depth empirical evaluation of our and SoTA solvers.