Publication:4495108
From MaRDI portal
zbMath0961.68124MaRDI QIDQ4495108
Christian Bessiere, Jean-Charles Régin
Publication date: 10 August 2000
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints, Auto-tabling for subproblem presolving in MiniZinc, Constraint models for graceful graphs