Article Dans Une Revue
Journal of Automated Reasoning
Année : 2006
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00448785
Soumis le : mercredi 20 janvier 2010-10:02:42
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-00448785 , version 1
Citer
Gilles Audemard, Belaïd Benhamou, Laurent Henocque. Predicting and Detecting Symmetries in FOL Finite Model Search. Journal of Automated Reasoning, 2006, 36 (3), pp.177-212. ⟨hal-00448785⟩
80
Consultations
0
Téléchargements