SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints (Extended Abstract)

Miquel Bofill, Jordi Coll, Peter Nightingale, Josep Suy, Felix Ulrich-Oltean, Mateu Villaret

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Active

Solver Feedback Loops for Automated Constraint Modelling
Nightingale, P.
EPSRC
1/04/22 → 3/04/25
Project: Research project (funded) › Research