|
ComputingReviews.com
|
Predicting and detecting symmetries in FOL finite model search Audemard G., Benhamou B., Henocque L. Journal of Automated Reasoning36(3):177-212,2006.Type:Article |
|
|
|
Published By: Kluwer Academic Publishers |
|
|
|
|
|
|
|
|
Use your personal or institutional subscription to read the fulltext of the article.
|
|
|
|
|
|
|
|
|
|
|
|