Joseph Y. Halpern, Leandro Chaves Rêgo. Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 2306-2311, 2007. [doi]
@inproceedings{HalpernR07:0,
title = {Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic},
author = {Joseph Y. Halpern and Leandro Chaves Rêgo},
year = {2007},
url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-371.pdf},
tags = {modal logic, logic},
researchr = {https://researchr.org/publication/HalpernR07%3A0},
cites = {0},
citedby = {0},
pages = {2306-2311},
booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
editor = {Manuela M. Veloso},
}