IJCAI
1997
13 years 8 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 ...