6 citations · 17 across the 28 of their papers we have counts for
1 paper · 2 filters
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…