Predicting and detecting Symmetry in FOL Finite Model search - Aix-Marseille Université Access content directly
Journal Articles Journal of Automated Reasoning Year : 2006

Predicting and detecting Symmetry in FOL Finite Model search

Abstract

no abstract
No file

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⟩
59 View
0 Download

Share

Gmail Facebook X LinkedIn More