Predicting and Detecting Symmetries in FOL Finite Model Search

Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00448785
Contributor : Francois Chevallier <>
Submitted on : Wednesday, January 20, 2010 - 10:02:42 AM
Last modification on : Monday, September 10, 2018 - 3:08:01 PM

Identifiers

  • HAL Id : hal-00448785, version 1

Collections

Citation

Gilles Audemard, Belaïd Benhamou, Laurent Henocque. Predicting and Detecting Symmetries in FOL Finite Model Search. Journal of Automated Reasoning, Springer Verlag, 2006, 36 (3), pp.177-212. ⟨hal-00448785⟩

Share

Metrics

Record views

139