Search - Université d'Artois Access content directly

Filter your results

6 Results
authFullName_s : Laurent Henocque

Predicting and Detecting Symmetries in FOL Finite Model Search

Gilles Audemard , Belaïd Benhamou , Laurent Henocque
Journal of Automated Reasoning, 2006, 36 (3), pp.177-212
Journal articles hal-00448785v1

Two techniques to improve Finite Model Search.

Gilles Audemard , Belaid Benhamou , Laurent Henocque
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

Gilles Audemard , Belaïd Benhamou , Laurent Henocque
[Rapport de recherche] LSIS.RR.2004.003, LSIS. 2004
Reports hal-01488871v1

Sur la génération des groupes finis non isomorphes

Gilles Audemard , Laurent Henocque
Actes 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 search

Gilles Audemard , Belaïd Benhamou , Laurent Henocque
Journal of Automated Reasoning, 2006
Journal articles hal-01479575v1

The eXtended Least Number Heuristic

Gilles Audemard , Laurent Henocque
International Joint Conference on Automated Reasoning (IJCAR'01), 2001, Sienne, Italy. pp.427-442
Conference papers hal-03299490v1