Fingerprint
Dive into the research topics of 'Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-Boolean constraints'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Automatic detection of at-most-one and exactly-one relations for improved SAT encodings of pseudo-Boolean constraints
Carlos Ansótegui, Miquel Bofill, Jordi Coll*, Nguyen Dang, Juan Luis Esteban, Ian Miguel, Peter Nightingale, András Z. Salamon, Josep Suy, Mateu Villaret
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution