Sciweavers

AAAI
2004
14 years 26 days ago
Implementing a Generalized Version of Resolution
We have recently proposed augmenting clauses in a Boolean database with groups of permutations, the augmented clauses then standing for the set of all clauses constructed by actin...
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofe...