Yoshihiro Tanaka
-
Counting for Satisfiability by Inverting Resolution
Artificial Intelligence Review