Zakaria Chihani, Bruno Marre, François Bobot, Sébastien Bardin. Sharpening Constraint Programming Approaches for Bit-Vector Theory. In Domenico Salvagnin, Michele Lombardi 0001, editors, Integration of AI and OR Techniques in Constraint Programming - 14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings. Volume 10335 of Lecture Notes in Computer Science, pages 3-20, Springer, 2017. [doi]
Abstract is missing.