Characterizing the NP-Pspace gap in the satisfiability problem for modal logic (2007)

by Joseph Y. Halpern , Ro Chaves Rêgo
Venue:In Proceedings of the 20th International Joint Conference on Artifical Intelligence
Citations:4 - 1 self