Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints.
Carlos AnsóteguiMiquel BofillJordi CollNguyen DangJuan Luis EstebanIan MiguelPeter NightingaleAndrás Z. SalamonJosep SuyMateu VillaretPublished in: CP (2019)