Sign in
Learning to select SAT encodings for pseudo-Boolean and linear integer constraints.
Felix Ulrich-Oltean
Peter Nightingale
James Alfred Walker
Published in:
Constraints An Int. J. (2023)
Keyphrases
</>
reinforcement learning
constrained optimization
solving problems
sat encodings
pseudo boolean