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á bibliografie

Vydáno v:	Journal of automated reasoning Ročník 36; číslo 3; s. 177 - 212
Hlavní autoři:	Audemard, Gilles, Benhamou, Belaïd, Henocque, Laurent
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Nature B.V 01.04.2006 Springer Verlag
Témata:	Artificial Intelligence Computer Science Heuristic Studies Symmetry
ISSN:	0168-7433, 1573-0670
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!