IASCAR: Incremental Answer Set Counting by Anytime Refinement.

Johannes Klaus Fichte, Sarah Alice Gaggl, Markus Hecher, Dominik Rusovac

Browse the full LPNMR paper archive.