Constructing finite algebras with FALCON

DOI10.1007/BF00244457zbMath0877.68103MaRDI QIDQ1357663

Jian Zhang

Publication date: 27 November 1997

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

zbMATH Keywords

least number heuristicFALCON

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Model theory of finite structures (03C13) Equational classes, universal algebra in model theory (03C05)

Related Items

Predicting and detecting symmetries in FOL finite model search ⋮ An Algorithm for Approximating the Satisfiability Problem of High-level Conditions ⋮ System description generating models by SEM ⋮ MACE4 and SEM: A Comparison of Finite Model Generators ⋮ Automatic generation of logical models with AGES ⋮ FALCON ⋮ Boosting isomorphic model filtering with invariants