Geoffrey Chu

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