Predicting and Detecting Symmetries in FOL Finite Model Search

Symmetries abound in logically formulated problems where many axioms are universally quantified, as this is the case in equational theories. Two complementary approaches have been used so far to dynamically tackle those symmetries: prediction and detection. The best-known predictive symmetry elimina...

Full description

Bibliographic Details

Published in:	Journal of automated reasoning Vol. 36; no. 3; pp. 177 - 212
Main Authors:	Audemard, Gilles, Benhamou, Belaïd, Henocque, Laurent
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer Nature B.V 01.04.2006 Springer Verlag
Subjects:	Artificial Intelligence Computer Science Heuristic Studies Symmetry
ISSN:	0168-7433, 1573-0670
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!