Accéder directement au contenu Accéder directement à la navigation
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 Université d'Angers <>
Soumis le : mercredi 9 juin 2021 - 16:08:39
Dernière modification le : mardi 22 juin 2021 - 03:41:11

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

14