Sign in
Learning to Select SAT Encodings for Pseudo-Boolean and Linear Integer Constraints.
Felix Ulrich-Oltean
Peter Nightingale
James Alfred Walker
Published in:
CoRR (2023)
Keyphrases
</>
combinatorial problems
integer linear programming