Publisher
Springer International Publishing
Reference26 articles.
1. Bacchus, F., Järvisalo, M., Martins, R.: MaxSAT Evaluation 2018: new developments and detailed results. J. Satisfiability Boolean Model. Comput. 11(1), 99–131 (2019). Instances https://maxsat-evaluations.github.io/
2. Benhamou, F., Granvilliers, L.: Continuous and interval constraints. In: Handbook of Constraint Programming, chap. 16. Elsevier (2006)
3. Cooper, M.C., de Givry, S., Sanchez, M., Schiex, T., Zytnicki, M., Werner, T.: Soft arc consistency revisited. Artif. Intell. 174(7–8), 449–478 (2010)
4. Dlask, T., Werner, T.: On relation between constraint propagation and block-coordinate descent in linear programs. In: Simonis, H. (ed.) International Conference on Principles and Practice of Constraint Programming. LNCS, vol. 12333, pp. 194–210. Springer, Heidelberg (2020). https://doi.org/10.1007/978-3-030-58475-7_12
5. Freuder, E.C.: A sufficient condition for backtrack-free search. J. ACM (JACM) 29(1), 24–32 (1982)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献