Arrêt de service programmé du vendredi 10 juin 16h jusqu’au lundi 13 juin 9h. Pour en savoir plus
Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Un panorama sur les procédures de décision séquentielles pour le problème de validité des formules booléennes quantifiées

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.

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03352566
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : jeudi 23 septembre 2021 - 12:18:44
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Identifiants

  • HAL Id : hal-03352566, version 1
  • OKINA : ua8044

Collections

Citation

Igor Stéphan. Un panorama sur les procédures de décision séquentielles pour le problème de validité des formules booléennes quantifiées. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2012, 26 (1-2), pp.163-196. ⟨hal-03352566⟩

Partager

Métriques

Consultations de la notice

6