Counting Maximal Satisfiable Subsets.

Jaroslav Bendk, Kuldeep S. Meel

Browse the full AAAI paper archive.