Generalizing Boolean satisfiability I: Background and survey of existing work (0)

by H E Dixon, M L Ginsberg, A J Parkes
Venue:J. Artificial Intelligence Res