An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems

DOI10.1007/978-3-642-15675-5_28zbMath1306.68198OpenAlexW2611418764MaRDI QIDQ4930775

Joost Vennekens, Hanne Vlaeminck, Marc Denecker, Johan Wittocx, Maurice Bruynooghe

Publication date: 1 October 2010

Published in: Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/279721

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: An Approximative Inference Method for Solving ∃ ∀SO Satisfiability Problems