Counting Answer Sets via Dynamic Programming

Johannes Fichte, Markus Hecher, Michael Morak +1

While the solution counting problem for propositional satisfiability (#SAT) has received renewed attention in recent years, this research trend has not affected other AI solving pa…