Ten challenges redux: Recent progress in propositional reasoning and search (2003)

by Henry Kautz , Bart Selman
Venue:In Proceedings of CP ’03
Citations:15 - 1 self