scientific article
From MaRDI portal
Publication:3429018
zbMath1116.68082MaRDI QIDQ3429018
Sylvie Coste-Marquis, Daniel Le Berre, Pierre Marquis, Florian Letombe
Publication date: 30 March 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
On propositional definability ⋮ A Unified Framework for Certificate and Compilation for QBF ⋮ On Quantifying Literals in Boolean Logic and its Applications to Explainable AI
Uses Software
This page was built for publication:
