Incremental QBF Solving (bibtex)
by Florian Lonsing, Uwe Egly
Reference:
Incremental QBF SolvingFlorian Lonsing, Uwe Egly20th International Conference on Principles and Practice of Constraint Programming (CP 2014), 2014.
Bibtex Entry:
@inproceedings{LonsingEglyCP14submitted,
title = {Incremental QBF Solving},
url = {http://arxiv.org/pdf/1402.2410},
booktitle = {20th International Conference on Principles and Practice of Constraint
Programming (CP 2014)},
author = {Florian Lonsing and Uwe Egly},
year = {2014},
}
Powered by bibtexbrowser