 |
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.
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
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