2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CC2019
Treewidth and Counting Projected Answer Sets
Johannes K. Fichte, Markus Hecher
In this paper, we introduce novel algorithms to solve projected answer set counting (#PAs). #PAs asks to count the number of answer sets with respect to a given set of projected at…
cs.LO2016★ 2 cited
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…