The IJCAI-97 computational challenge in propositional reasoning and search. Internet resource available as http://www.cs.washington.edu/homes/- kautz/challenge (2000)

by H Kautz