Constructing finite algebras with FALCON

DOI10.1007/BF00244457MaRDI QIDQ1357663zbMATH OpenFDO

Authors Jian Zhang

Publication date 27 November 1997

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

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

zbMATH Keywords

FALCONleast number heuristic

Mathematics Subject Classification ID

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

Recommendations

• Automatic construction of finite algebras
• scientific article; zbMATH DE number 1222426
• scientific article; zbMATH DE number 1389646
• scientific article; zbMATH DE number 1765688
• A method for building models automatically. Experiments with an extension of OTTER

Cited in

(11)

• Automatic construction of finite algebras
• Boosting isomorphic model filtering with invariants
• Automatic generation of logical models with AGES
• FALCON
• scientific article; zbMATH DE number 1222426 (Why is no real title available?)
• scientific article; zbMATH DE number 1765688 (Why is no real title available?)
• System description generating models by SEM
• MACE4 and SEM: a comparison of finite model generators
• An algorithm for approximating the satisfiability problem of high-level conditions
• Experiments on infinite model finding in SMT solving
• Predicting and detecting symmetries in FOL finite model search

This page was built for publication: Constructing finite algebras with FALCON

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1357663)