scientific article
From MaRDI portal
Publication:2717783
zbMath0970.68192MaRDI QIDQ2717783
Xinguang Chen, Peter J. L. van Beek
Publication date: 18 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Multistage robust discrete optimization via quantified integer programming, Large-scale periodic scheduling in time-sensitive networks, Enhancing DLV instantiator by backjumping techniques, Determining if (FC-) (conflict-directed) backjumping visits a given node is NP-hard, A Flexible Search Framework for CHR, Constraint Propagation with Tabu List for Min-Span Frequency Assignment Problem, Reasoning from last conflict(s) in constraint programming, Implementing Efficient All Solutions SAT Solvers, Backjump-based backtracking for constraint satisfaction problems, Variable and value elimination in binary constraint satisfaction via forbidden patterns, Backjumping for quantified Boolean logic satisfiability, Hybrid backtracking bounded by tree-decomposition of constraint networks, Efficient solution techniques for disjunctive temporal reasoning problems