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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Journal of automated reasoning Jg. 36; H. 3; S. 177 - 212
Hauptverfasser:	Audemard, Gilles, Benhamou, Belaïd, Henocque, Laurent
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Dordrecht Springer Nature B.V 01.04.2006 Springer Verlag
Schlagworte:	Artificial Intelligence Computer Science Heuristic Studies Symmetry
ISSN:	0168-7433, 1573-0670
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!