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