Fast Set Bounds Propagation Using a BDD-SAT Hybrid
From MaRDI portal
Publication:3579357
DOI10.1613/jair.3014zbMath1210.68100arXiv1401.3846OpenAlexW2163483175MaRDI QIDQ3579357
V. Lagoon, Peter J. Stuckey, Graeme Gange
Publication date: 6 August 2010
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1401.3846
Related Items (3)
Exact stochastic constraint optimisation with applications in network analysis ⋮ MDD propagators with explanation ⋮ STR3: a path-optimal filtering algorithm for table constraints
Uses Software
This page was built for publication: Fast Set Bounds Propagation Using a BDD-SAT Hybrid
