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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.