Conformant Planning as a Case Study of Incremental QBF Solving (bibtex)
by Uwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler
Reference:
Conformant Planning as a Case Study of Incremental QBF SolvingUwe Egly, Martin Kronegger, Florian Lonsing, Andreas Pfandler12th International Conference on Artificial Intelligence and Symbolic Computation AISC 2014, 2014.
Bibtex Entry:
@inproceedings{EglyKLPCP14submitted,
title = {Conformant Planning as a Case Study of Incremental QBF Solving},
url = {http://arxiv.org/pdf/1405.7253},
booktitle = {12th International Conference on Artificial Intelligence and Symbolic Computation AISC 2014},
author = {Uwe Egly and Martin Kronegger and Florian Lonsing and Andreas Pfandler},
year = {2014},
}
Powered by bibtexbrowser