Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
Attributed to:
A Constraint Modelling Pipeline
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-030-30048-7_2
Publication URI: http://dx.doi.org/10.1007/978-3-030-30048-7_2
Type: Book Chapter
Book Title: Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings (2019)
Page Reference: 20-36
ISSN: 1382-3256