ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique

APPEL À
CONTRIBUTION
Masses de données hétérogènes
En savoir plus >>
Autres revues >>

Revue d'Intelligence Artificielle

0992-499X
Revue des Sciences et Technologies de l'Information
 

 ARTICLE VOL 26/1-2 - 2012  - pp.163-196  - doi:10.3166/ria.26.163-196
TITRE
Un panorama sur les procédures de décision séquentielles pour le problème de validité des formules booléennes quantifiées

TITLE
A survey of the sequential decision procedures for the validity problem of quantified boolean formulas

RÉSUMÉ
Nous proposons un panorama sur les procédures de décision séquentielles pour le problème de validité des formules booléennes quantifiées. Nous décrivons une hiérarchie inspirée de la génétique par une phylogénie sur un code génétique basé sur les caractéristiques principales des procédures séquentielles.


ABSTRACT
We propose a survey of the sequential decision procedures for the validity problem of the Quantified Boolean Formulae. We describe a hierarchy inspired by genetics, by a phologeny on a genetic code based on the principal features of the sequential procedures.


AUTEUR(S)
Igor STÉPHAN

MOTS-CLÉS
formules booléennes quantifiées, QBF, panorama.

KEYWORDS
Quantified Boolean Formulae, QBF, survey.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 7.5 €
• Non abonné : 15.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (547 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier