Filter your results
- 6
- 3
- 2
- 1
- 1
- 6
- 1
- 2
- 1
- 1
- 2
- 4
- 2
- 4
- 4
- 5
- 6
- 3
- 1
- 1
|
|
sorted by
|
Predicting and Detecting Symmetries in FOL Finite Model SearchJournal of Automated Reasoning, 2006, 36 (3), pp.177-212
Journal articles
hal-00448785v1
|
|||
Two techniques to improve Finite Model Search.Proceedings of the 17th International Conference on Automated Deduction (CADE 17), 2000, Pittsburgh, United States. pp.302-308
Conference papers
hal-03299492v1
|
|||
Predecting and detecting symmetry in Finite Model Search[Rapport de recherche] LSIS.RR.2004.003, LSIS. 2004
Reports
hal-01488871v1
|
|||
Sur la génération des groupes finis non isomorphesActes des sixièmes Journées Nationales des problèmes NP complets (JNPC 00), 2000, Marseille, France. pp.57-66
Conference papers
hal-03299521v1
|
|||
Predicting and detecting Symmetry in FOL Finite Model searchJournal of Automated Reasoning, 2006
Journal articles
hal-01479575v1
|
|||
The eXtended Least Number HeuristicInternational Joint Conference on Automated Reasoning (IJCAR'01), 2001, Sienne, Italy. pp.427-442
Conference papers
hal-03299490v1
|