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

Celý popis

Podrobná bibliografia

Vydané v:	Journal of automated reasoning Ročník 36; číslo 3; s. 177 - 212
Hlavní autori:	Audemard, Gilles, Benhamou, Belaïd, Henocque, Laurent
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Dordrecht Springer Nature B.V 01.04.2006 Springer Verlag
Predmet:	Artificial Intelligence Computer Science Heuristic Studies Symmetry
ISSN:	0168-7433, 1573-0670
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!