scientific article; zbMATH DE number 1765688

MaRDI QIDQ4539628zbMATH OpenFDO

Authors Gilles Audemard, Laurent Henocque

Publication date 10 July 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2083/20830427

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 2090299
• Predicting and detecting symmetries in FOL finite model search
• scientific article; zbMATH DE number 2090302
• Constructing finite algebras with FALCON
• scientific article; zbMATH DE number 1389646

Cited in

(4)

• MACE4 and SEM: a comparison of finite model generators
• Boosting isomorphic model filtering with invariants
• scientific article; zbMATH DE number 2090299 (Why is no real title available?)
• Predicting and detecting symmetries in FOL finite model search

This page was built for publication:

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