A B C D E F G H I-J K L M N-O P Q-R S T-V W X-Z
close this section of the libraryA. J. Parkes
View the documentA. J. Parkes Generalizing Boolean Satisfiability III: Implementation - H. E. Dixon, M. L. Ginsberg, D. Hofer, E. M. Luks and A. J. Parkes
View the documentA. J. Parkes Generalizing Boolean Satisfiability I: Background and Survey of Existing Work - H. E. Dixon, M. L. Ginsberg and A. J. Parkes
View the documentA. J. Parkes Generalizing Boolean Satisfiability II: Theory - H. E. Dixon, M. L. Ginsberg, E. M. Luks and A. J. Parkes