Login / Signup
IntSat: integer linear programming by conflict-driven constraint learning.
Robert Nieuwenhuis
Albert Oliveras
Enric Rodríguez-Carbonell
Published in:
Optim. Methods Softw. (2024)
Keyphrases
</>
integer linear programming
learning process
reinforcement learning
learning algorithm
column generation
linear inequalities