Minimizing the Maximum Number of Open Stacks by Customer Search. - Geoffrey Chu; Peter J. Stuckey (CP, 2009)

Using Relaxations in Maximum Density Still Life. - Geoffrey Chu; Peter J. Stuckey; Maria Garcia de la Banda (CP, 2009)

Confidence-Based Work Stealing in Parallel Constraint Programming. - Geoffrey Chu; Christian Schulte 001; Peter J. Stuckey (CP, 2009)

Cache Conscious Data Structures for Boolean Satisfiability Solvers. - Geoffrey Chu; Aaron Harwood; Peter J. Stuckey (J. Satisf. Boolean Model. Comput., 2009)

Constraint Programming to Solve Maximal Density Still Life. - Geoffrey Chu; Karen Elizabeth Petrie; Neil Yorke-Smith (Game of Life Cellular Automata, 2010)

Automatically Exploiting Subproblem Equivalence in Constraint Programming. - Geoffrey Chu; Maria Garcia de la Banda; Peter J. Stuckey (CPAIOR, 2010)

Symmetries and Lazy Clause Generation. - Geoffrey Chu; Peter J. Stuckey; Maria Garcia de la Banda; Christopher Mears (IJCAI, 2011)

Solving Talent Scheduling with Dynamic Programming. - Maria Garcia de la Banda; Peter J. Stuckey; Geoffrey Chu (INFORMS J. Comput., 2011)

Improving combinatorial optimization. - Geoffrey Chu (2011)

A Generic Method for Identifying and Exploiting Dominance Relations. - Geoffrey Chu; Peter J. Stuckey (CP, 2012)

Inter-instance Nogood Learning in Constraint Programming. - Geoffrey Chu; Peter J. Stuckey (CP, 2012)

Maximising the Net Present Value for Resource-Constrained Project Scheduling. - Andreas Schutt; Geoffrey Chu; Peter J. Stuckey; Mark G. Wallace 001 (CPAIOR, 2012)

A complete solution to the Maximum Density Still Life Problem. - Geoffrey Chu; Peter J. Stuckey (Artif. Intell., 2012)

Exploiting subproblem dominance in constraint programming. - Geoffrey Chu; Maria Garcia de la Banda; Peter J. Stuckey (Constraints An Int. J., 2012)

Dominance Driven Search. - Geoffrey Chu; Peter J. Stuckey (CP, 2013)

Improving Combinatorial Optimization - Extended Abstract. - Geoffrey Chu (IJCAI, 2013)

On the Complexity of Global Scheduling Constraints under Structural Restrictions. - Geoffrey Chu; Serge Gaspers; Nina Narodytska; Andreas Schutt; Toby Walsh (IJCAI, 2013)

Structure Based Extended Resolution for Constraint Programming. - Geoffrey Chu; Peter J. Stuckey (CoRR, 2013)

Stable model semantics for founded bounds. - Rehan Abdul Aziz; Geoffrey Chu; Peter J. Stuckey (Theory Pract. Log. Program., 2013)

Nested Constraint Programs. - Geoffrey Chu; Peter J. Stuckey (CP, 2014)

Symmetries, almost symmetries, and lazy clause generation. - Geoffrey Chu; Maria Garcia de la Banda; Christopher Mears; Peter J. Stuckey (Constraints An Int. J., 2014)

Grounding Bound Founded Answer Set Programs. - Rehan Abdul Aziz; Geoffrey Chu; Peter James Stuckey (CoRR, 2014)

Stable Model Counting and Its Application in Probabilistic Logic Programming. - Rehan Abdul Aziz; Geoffrey Chu; Christian J. Muise; Peter James Stuckey (AAAI, 2015)

Learning Value Heuristics for Constraint Programming. - Geoffrey Chu; Peter J. Stuckey (CPAIOR, 2015)

#∃SAT: Projected Model Counting. - Rehan Abdul Aziz; Geoffrey Chu; Christian J. Muise; Peter J. Stuckey (SAT, 2015)

Dominance breaking constraints. - Geoffrey Chu; Peter J. Stuckey (Constraints An Int. J., 2015)

Projected Model Counting. - Rehan Abdul Aziz; Geoffrey Chu; Christian J. Muise; Peter J. Stuckey (CoRR, 2015)

Symmetry declarations for MiniZinc. - Nathaniel Baxter; Geoffrey Chu; Peter J. Stuckey (ACSW, 2016)

Lagrangian Decomposition via Sub-problem Search. - Geoffrey Chu; Graeme Gange; Peter J. Stuckey (CPAIOR, 2016)

Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. - Emir Demirovic; Geoffrey Chu; Peter J. Stuckey (CP, 2018)