scientific article
From MaRDI portal
Publication:4012214
zbMath0747.68066MaRDI QIDQ4012214
Yves Deville, Pascal Van Hentenryck
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Artificial intelligence (68T99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Applications of graph theory to circuits and networks (94C15)
Related Items
No more ``Partial and ``Full Looking Ahead ⋮ Solving linear, min and max constraint systems using CLP based on relational interval arithmetic ⋮ The complexity of constraint satisfaction revisited ⋮ Combining qualitative and quantitative constraints in temporal reasoning ⋮ Tradeoffs in the Complexity of Backdoor Detection ⋮ Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search ⋮ Using constraint metaknowledge to reduce arc consistency computation
