Article Dans Une Revue
Journal of Symbolic Computation
Année : 2010
François Lemaire : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00825030
Soumis le : mercredi 22 mai 2013-17:33:39
Dernière modification le : vendredi 24 mars 2023-14:52:57
Dates et versions
Identifiants
- HAL Id : hal-00825030 , version 1
Citer
François Lemaire, Marc Moreno Maza, Yuzhen Xie, Wei Pan. When does (T) equal sat(T)?. Journal of Symbolic Computation, 2010, 46 (12), pp.1291-1305. ⟨hal-00825030⟩
Collections
103
Consultations
0
Téléchargements