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