scientific article; zbMATH DE number 2243396

zbMath1080.68666arXiv1109.2139MaRDI QIDQ5715712

P. J. Hawkins, V. Lagoon, Peter J. Stuckey

Publication date: 4 January 2006

Full work available at URL: https://arxiv.org/abs/1109.2139

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items

MDD propagators with explanation ⋮ Multiset variable representations and constraint propagation ⋮ Enhancing set constraint solvers with lexicographic bounds ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ View-based propagator derivation

This page was built for publication: