Article Dans Une Revue
Journal of Automated Reasoning (JAR)
Année : 2006
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03300950
Soumis le : mardi 27 juillet 2021-12:38:04
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Dates et versions
Identifiants
- HAL Id : hal-03300950 , version 1
Citer
Olivier Bailleux, Pierre Marquis. Some Computational Aspects of DISTANCE-SAT. Journal of Automated Reasoning (JAR), 2006, 37 (4), pp.231-260. ⟨hal-03300950⟩
Collections
13
Consultations
0
Téléchargements