Article Dans Une Revue
Lecture Notes in Computer Science
Année : 2005
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00014611
Soumis le : lundi 28 novembre 2005-15:42:32
Dernière modification le : mercredi 20 septembre 2023-15:36:05
Dates et versions
Identifiants
- HAL Id : hal-00014611 , version 1
Citer
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe. A Branching Heuristics for Quantified Renamable Horn Formulas. Lecture Notes in Computer Science, 2005, 3569, pp.393. ⟨hal-00014611⟩
Collections
38
Consultations
0
Téléchargements