scientific article; zbMATH DE number 1765688

zbMATH Open0988.68605MaRDI QIDQ4539628FDOQ4539628

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

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Cited In (3)

• MACE4 and SEM: A Comparison of Finite Model Generators
• Predicting and detecting symmetries in FOL finite model search
• Boosting isomorphic model filtering with invariants

   Recommendations

• Title not available (Why is that?) 👍 👎
• Predicting and detecting symmetries in FOL finite model search 👍 👎
• Title not available (Why is that?) 👍 👎
• Constructing finite algebras with FALCON 👍 👎
• Title not available (Why is that?) 👍 👎

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)