Publisher
Springer International Publishing
Reference24 articles.
1. Achterberg, T.: SCIP: solving constraint integer programs. Math. Program. Comput. 1(1), 1–41 (2009)
2. Allouche, D., et al.: Computational protein design as an optimization problem. Artif. Intell. 212, 59–79 (2014)
3. Lecture Notes in Computer Science;D Allouche,2015
4. Bacchus, F., Chen, X., van Beek, P., Walsh, T.: Binary vs. non-binary constraints. Artif. Intell. 140(1/2), 1–37 (2002)
5. Boussemart, F., Hemery, F., Lecoutre, C., Sais, L.: Boosting systematic search by weighting constraints. In: Proceedings of ECAI 2004, pp. 146–150, Valencia (2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Virtual Pairwise Consistency in Cost Function Networks;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2023
2. Multiple-choice Knapsack Constraint in Graphical Models;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2022
3. Boosting branch-and-bound MaxSAT solvers with clause learning;AI Communications;2021-12-23