scientific article
From MaRDI portal
Publication:4012209
zbMath0747.68072MaRDI QIDQ4012209
Olivier Coudert, Jean Christophe Madre
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items
Reasoning with ordered binary decision diagrams, Implementing semantic merging operators using binary decision diagrams, On the non-termination of MDG-based abstract state enumeration, Une approche intentionnelle du calcul des implicants premiers et essentiels des fonctions booléennes, Symbolic model checking: \(10^{20}\) states and beyond, Unnamed Item, Consistency restoration and explanations in dynamic CSPs---Application to configuration, An efficient query learning algorithm for ordered binary decision diagrams, Ordered binary decision diagrams as knowledge-bases
