Login / Signup
Yet Another Comparison of SAT Encodings for the At-Most-K Constraint.
Neng-Fa Zhou
Published in:
CoRR (2020)
Keyphrases
</>
sat encodings
linear arithmetic constraints
dynamic programming
linear programming
reinforcement learning
optimization algorithm
planning problems
sat solvers