Geoffrey Chu

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 8

Top Venues

CoRR

Constraints An Int. J.

CPAIOR

University of Melbourne, Australia (PHD)

Education History

University of Melbourne, Australia

PHD

Publications

Emir Demirovic, Geoffrey Chu, Peter J. Stuckey
Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. CP (2018)
Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey
Symmetry declarations for MiniZinc. ACSW (2016)
Geoffrey Chu, Graeme Gange, Peter J. Stuckey
Lagrangian Decomposition via Sub-problem Search. CPAIOR (2016)
Geoffrey Chu, Peter J. Stuckey
Learning Value Heuristics for Constraint Programming. CPAIOR (2015)
Geoffrey Chu, Peter J. Stuckey
Dominance breaking constraints. Constraints An Int. J. 20 (2) (2015)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey
Stable Model Counting and Its Application in Probabilistic Logic Programming. AAAI (2015)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
Projected Model Counting. CoRR (2015)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
#∃SAT: Projected Model Counting. SAT (2015)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
Stable Model Counting and Its Application in Probabilistic Logic Programming. CoRR (2014)
Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey
Symmetries, almost symmetries, and lazy clause generation. Constraints An Int. J. 19 (4) (2014)
Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey
Grounding Bound Founded Answer Set Programs. CoRR (2014)
Geoffrey Chu, Peter J. Stuckey
Nested Constraint Programs. CP (2014)
Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh
On the Complexity of Global Scheduling Constraints under Structural Restrictions. IJCAI (2013)
Geoffrey Chu
Improving Combinatorial Optimization - Extended Abstract. IJCAI (2013)
Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey
Stable model semantics for founded bounds. Theory Pract. Log. Program. 13 (4-5) (2013)
Geoffrey Chu, Peter J. Stuckey
Dominance Driven Search. CP (2013)
Geoffrey Chu, Peter J. Stuckey
Structure Based Extended Resolution for Constraint Programming. CoRR (2013)
Geoffrey Chu, Peter J. Stuckey
Inter-instance Nogood Learning in Constraint Programming. CP (2012)
Geoffrey Chu, Peter J. Stuckey
A complete solution to the Maximum Density Still Life Problem. Artif. Intell. (2012)
Geoffrey Chu, Peter J. Stuckey
A Generic Method for Identifying and Exploiting Dominance Relations. CP (2012)
Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace
Maximising the Net Present Value for Resource-Constrained Project Scheduling. CPAIOR (2012)
Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
Exploiting subproblem dominance in constraint programming. Constraints An Int. J. 17 (1) (2012)
Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu
Solving Talent Scheduling with Dynamic Programming. INFORMS J. Comput. 23 (1) (2011)
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears
Symmetries and Lazy Clause Generation. IJCAI (2011)
Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
Automatically Exploiting Subproblem Equivalence in Constraint Programming. CPAIOR (2010)
Geoffrey Chu, Christian Schulte, Peter J. Stuckey
Confidence-Based Work Stealing in Parallel Constraint Programming. CP (2009)
Geoffrey Chu, Aaron Harwood, Peter J. Stuckey
Cache Conscious Data Structures for Boolean Satisfiability Solvers. J. Satisf. Boolean Model. Comput. 6 (1-3) (2009)
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda
Using Relaxations in Maximum Density Still Life. CP (2009)
Geoffrey Chu, Peter J. Stuckey
Minimizing the Maximum Number of Open Stacks by Customer Search. CP (2009)

Geoffrey Chu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Geoffrey Chu