Abstract
The Semiring Constraint Satisfaction Problem (SCSP) framework is a popular approach for the representation of partial constraint satisfaction problems. Considerable research has been done in solving SCSPs, but limited work has been done in building general SCSP solvers. This paper is part of a series in which incremental changes are made to a branch and bound (BnB) algorithm for solving SCSPs. We present two variants of a BnB algorithm: a backjumping algorithm and a forward checking algorithm. These algorithms are based on the maximal constraints algorithms of Freuder and Wallace [1], and we show they perform better than the BnB algorithm on some problem instances. © 2008 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Leenen, L., & Ghose, A. (2008). Branch and bound algorithms to solve semiring constraint satisfaction problems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5351 LNAI, pp. 991–997). https://doi.org/10.1007/978-3-540-89197-0_96
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
