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

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