Communication Dans Un Congrès
Année : 2008
François Lemaire : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00825039
Soumis le : mercredi 22 mai 2013-17:54:51
Dernière modification le : vendredi 24 mars 2023-14:52:57
Dates et versions
Identifiants
- HAL Id : hal-00825039 , version 1
Citer
François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie. When does (T) equal sat(T)?. International Symposium on Symbolic and algebraic computation, 2008, Hagenberg, Austria. pp.207-214. ⟨hal-00825039⟩
Collections
76
Consultations
0
Téléchargements