Accéder directement au contenu Accéder directement à la navigation
Nouvelle interface
Communication dans un congrès

A Unified Framework for Certificate and Compilation for QBF

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.

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03255579
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mercredi 9 juin 2021 - 16:08:39
Dernière modification le : lundi 14 novembre 2022 - 02:42:07
Archivage à long terme le : : vendredi 10 septembre 2021 - 18:55:47

Fichier

icla09.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Igor Stéphan, Benoit da Mota. A Unified Framework for Certificate and Compilation for QBF. Third Indian Conference, ICLA 2009, 2009, Chennai, India. pp.210 - 223, ⟨10.1007/978-3-540-92701-3_15⟩. ⟨hal-03255579⟩

Partager

Métriques

Consultations de la notice

8

Téléchargements de fichiers

49