Predicting and detecting Symmetry in FOL Finite Model search - Archive ouverte HAL Access content directly
Journal Articles Journal of Automated Reasoning Year : 2006

Predicting and detecting Symmetry in FOL Finite Model search

Abstract

no abstract
Not 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⟩
57 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More