scientific article; zbMATH DE number 1765688
From MaRDI portal
Publication:4539628
zbMath0988.68605MaRDI QIDQ4539628
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: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Predicting and detecting symmetries in FOL finite model search ⋮ MACE4 and SEM: A Comparison of Finite Model Generators ⋮ Boosting isomorphic model filtering with invariants
This page was built for publication:
