Predicting and detecting Symmetry in FOL Finite Model search

Gilles Audemard; Belaïd Benhamou; Laurent Henocque

Journal Articles Journal of Automated Reasoning Year : 2006

Predicting and detecting Symmetry in FOL Finite Model search

, (1) , (1)

Gilles Audemard

Function : Author
PersonId : 850088
IdHAL : gilles-audemard
ORCID : 0000-0003-2604-9657
IdRef : 070686831

Belaïd Benhamou

Function : Author
PersonId : 840359

Laboratoire des Sciences de l'Information et des Systèmes

Laurent Henocque

Function : Author

Laboratoire des Sciences de l'Information et des Systèmes

Abstract

no abstract

Domains

Computer Science [cs]

William Domingues Vinhas : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-01479575

Submitted on : Tuesday, February 28, 2017-8:39:33 PM

Last modification on : Friday, March 24, 2023-2:53:04 PM

Dates and versions

hal-01479575 , version 1 (28-02-2017)

Identifiers

HAL Id : hal-01479575 , version 1

Cite

Gilles Audemard, Belaïd Benhamou, Laurent Henocque. Predicting and detecting Symmetry in FOL Finite Model search. Journal of Automated Reasoning, 2006. ⟨hal-01479575⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS UNIV-TLN CNRS UNIV-AMU LSIS LSIS-INCA LIS-LAB ARTS-ET-METIERS-SCIENCES-ET-TECHNOLOGIES

57 View

0 Download

Predicting and detecting Symmetry in FOL Finite Model search

Abstract

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share