Learning to select SAT encodings for pseudo-Boolean and linear integer constraints

Felix Ulrich-Oltean, Peter Nightingale, James Alfred Walker

Computer Science

Research output: Contribution to journal › Article › peer-review

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