Boosting isomorphic model filtering with invariants

DOI10.1007/s10601-022-09336-xOpenAlexW4282980813MaRDI QIDQ2079277

Yanyan Li

Publication date: 29 September 2022

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2201.10516

zbMATH Keywords

invariantisomorphismhashingcomputational algebrafinite model enumerationMace4random generation of invariants

Mathematics Subject Classification ID

Artificial intelligence (68Txx) Model theory (03Cxx) Varieties (08Bxx)

Uses Software

• GAP
• MiniSat
• Mace4
• Chaff
• OEIS
• LOOPS
• MINION
• FALCON

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Predicting and detecting symmetries in FOL finite model search
• NP-hardness of Euclidean sum-of-squares clustering
• Constructing finite algebras with FALCON
• Enumeration of finite inverse semigroups
• Symmetry avoidance in MACE-style finite model finding
• A Powerful Technique to Eliminate Isomorphism in Finite Model Search
• Isomorph-Free Exhaustive Generation
• Model Theory
• Towards Smarter MACE-style Model Finders
• AUTOMORPHISM GROUPS OF QUANDLES
• Computing with small quasigroups and loops

This page was built for publication: Boosting isomorphic model filtering with invariants