.:. Browse > List by authors > Audemard .:.

1 document

Predicting and Detecting Symmetries in FOL Finite Model Search Audemard G., Benhamou B., Henocque L. Journal of Automated Reasoning 36, 3 (2006) 177-212 [hal-00448785 - version 1]