The following pages link to Geoffrey Chu (Q453590):
Displayed 11 items.
- Exploiting subproblem dominance in constraint programming (Q453591) (← links)
- A complete solution to the maximum density still life problem (Q1761276) (← links)
- Symmetries, almost symmetries, and lazy clause generation (Q2342601) (← links)
- Dominance breaking constraints (Q2342647) (← links)
- Lagrangian Decomposition via Sub-problem Search (Q2815096) (← links)
- Solving Talent Scheduling with Dynamic Programming (Q2899107) (← links)
- (Q3181647) (← links)
- $$\#\exists $$ SAT: Projected Model Counting (Q3453218) (← links)
- Automatically Exploiting Subproblem Equivalence in Constraint Programming (Q3569921) (← links)
- Stable model semantics for founded bounds (Q5398292) (← links)
- Learning Value Heuristics for Constraint Programming (Q5741460) (← links)