Login / Signup
Extending Constraint-Only Representation of Polyhedra with Boolean Constraints.
Alexey Bakhirkin
David Monniaux
Published in:
SAS (2018)
Keyphrases
</>
boolean constraints
global constraints
search algorithm