Zeynep Kiziltan

Learning When to Use Automatic Tabulation in Constraint Model Reformulation

Combinatorial optimisation has numerous practical applications, such as planning, logistics, or circuit design. Problems such as these can be solved by approaches such as Boolean Satisfiability (SAT) or Constraint Programming (CP). Solver performance is affected significantly by the model chosen to…