Skip to main content
Conference Proceedings

A unified framework for certificate and compilation for QBF

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2009) 5378 LNAI 210-223
DOI: 10.1007/978-3-540-92701-3_15
1Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

Abstract

We propose in this article a unified framework for certificate and compilation for QBF. We provide a search-based algorithm to compute a certificate for the validity of a QBF and a search-based algorithm to compile a valid QBF in our unified framework. © 2009 Springer Berlin Heidelberg.

Cite

CITATION STYLE

APA

Stéphan, I., & Da Mota, B. (2009). A unified framework for certificate and compilation for QBF. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5378 LNAI, pp. 210–223). https://doi.org/10.1007/978-3-540-92701-3_15

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free