Generalizing Boolean Satisfiability III: Implementation

Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes. Generalizing Boolean Satisfiability III: Implementation. J. Artif. Intell. Res. (JAIR), 23:441-531, 2005. [doi]

Abstract

Abstract is missing.