Article Dans Une Revue
Journal on Satisfiability, Boolean Modeling and Computation
Année : 2006
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00109570
Soumis le : mardi 24 octobre 2006-17:50:19
Dernière modification le : mercredi 20 septembre 2023-15:36:05
Dates et versions
Identifiants
- HAL Id : hal-00109570 , version 1
Citer
Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe, Pierre Marquis. Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages. Journal on Satisfiability, Boolean Modeling and Computation, 2006, 1, pp.61-88. ⟨hal-00109570⟩
Collections
41
Consultations
0
Téléchargements