scientific article; zbMATH DE number 2090302

zbMath1072.68561MaRDI QIDQ4809058

Gilles Audemard, Belaïd Benhamou

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920226.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (4)

Predicting and detecting symmetries in FOL finite model search ⋮ On local domain symmetry for model expansion ⋮ MACE4 and SEM: A Comparison of Finite Model Generators ⋮ Automated Model Building: From Finite to Infinite Models

This page was built for publication: