A Powerful Technique to Eliminate Isomorphism in Finite Model Search

DOI10.1007/11814771_29zbMath1222.68365OpenAlexW1532155121MaRDI QIDQ3613417

Xiangxue Jia, Jian Zhang

Publication date: 12 March 2009

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11814771_29

zbMATH Keywords

isomorphismsymmetry breakingschemeDASHLNH

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

MACE4 and SEM: A Comparison of Finite Model Generators ⋮ Exploiting Symmetry in SMT Problems ⋮ Computing finite models by reduction to function-free clause logic ⋮ Boosting isomorphic model filtering with invariants

Uses Software

• TPTP
• SATO
• Mace4