Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carlos Ansótegui, Miquel Bofill, Jordi Coll, Nguyen-Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints. In Thomas Schiex, Simon de Givry, editors, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Stamford, CT, USA, September 30 - October 4, 2019, Proceedings. Volume 11802 of Lecture Notes in Computer Science, pages 20-36, Springer, 2019. [doi]

This author has not been identified. Look up 'Carlos Ansótegui' in GoogleThis author has not been identified. Look up 'Miquel Bofill' in GoogleThis author has not been identified. Look up 'Jordi Coll' in GoogleThis author has not been identified. Look up 'Nguyen-Dang' in GoogleThis author has not been identified. Look up 'Juan Luis Esteban' in GoogleThis author has not been identified. Look up 'Ian Miguel' in GoogleThis author has not been identified. Look up 'Peter Nightingale' in GoogleThis author has not been identified. Look up 'András Z. Salamon' in GoogleThis author has not been identified. Look up 'Josep Suy' in GoogleThis author has not been identified. Look up 'Mateu Villaret' in Google

runs on WebDSL