A Unified Framework for Certificate and Compilation for QBF - Université d'Angers Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

A Unified Framework for Certificate and Compilation for QBF

Igor Stéphan
  • Fonction : Auteur
  • PersonId : 1068785
Laboratoire d'Etudes et de Recherche en Informatique d'Angers
Benoit da Mota
Laboratoire d'Etudes et de Recherche en Informatique d'Angers

Résumé

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.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
icla09.pdf (245.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Okina Univ Angers  : Connectez-vous pour contacter le contributeur

https://univ-angers.hal.science/hal-03255579

Soumis le : mercredi 9 juin 2021-16:08:39

Dernière modification le : vendredi 27 janvier 2023-16:08:04

Archivage à long terme le : vendredi 10 septembre 2021-18:55:47

Télécharger pour visualiser

Dates et versions

hal-03255579 , version 1 (09-06-2021)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ANGERS LERIA
11 Consultations
67 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More