138
Voted
IJCAI
1997
15 years 4 months ago
1997
The past several years have seen much progress in the area of propositional reasoning and satisfiability testing. There is a growing consensus by researchers on the key technical ...