Geoffrey Chu
Geoffrey Chu
Verified email at csse.unimelb.edu.au
TitleCited byYear
Confidence-based work stealing in parallel constraint programming
G Chu, C Schulte, PJ Stuckey
International conference on principles and practice of constraint …, 2009
932009
Pminisat: a parallelization of minisat 2.0
G Chu, PJ Stuckey, A Harwood
SAT race, 2008
712008
Improving combinatorial optimization
G Chu
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
642013
Minimizing the maximum number of open stacks by customer search
G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2009
342009
Cache conscious data structures for boolean satisfiability solvers
G Chu, A Harwood, PJ Stuckey
Journal on Satisfiability, Boolean Modeling and Computation 6 (1-3), 99-120, 2010
292010
Solving talent scheduling with dynamic programming
M Garcia de la Banda, PJ Stuckey, G Chu
INFORMS Journal on Computing 23 (1), 120-137, 2011
262011
Maximising the net present value for resource-constrained project scheduling
A Schutt, G Chu, PJ Stuckey, MG Wallace
International Conference on Integration of Artificial Intelligence (AI) and …, 2012
252012
SAT: Projected Model Counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
212015
Symmetries and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
152011
A generic method for identifying and exploiting dominance relations
G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2012
142012
Automatically exploiting subproblem equivalence in constraint programming
G Chu, MG de La Banda, PJ Stuckey
International Conference on Integration of Artificial Intelligence (AI) and …, 2010
122010
Learning value heuristics for constraint programming
G Chu, PJ Stuckey
International Conference on AI and OR Techniques in Constriant Programming …, 2015
112015
Dominance breaking constraints
G Chu, PJ Stuckey
Constraints 20 (2), 155-182, 2015
112015
Stable model semantics for founded bounds
RA Aziz, G Chu, PJ Stuckey
Theory and Practice of Logic Programming 13 (4-5), 517-532, 2013
112013
Stable model counting and its application in probabilistic logic programming
RA Aziz, G Chu, C Muise, PJ Stuckey
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
92015
Solution-based phase saving for CP: A value-selection heuristic to simulate local search behavior in complete solvers
E Demirović, G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2018
82018
Exploiting subproblem dominance in constraint programming
G Chu, MG De La Banda, PJ Stuckey
Constraints 17 (1), 1-38, 2012
82012
On the complexity of global scheduling constraints under structural restrictions
G Chu, S Gaspers, N Narodytska, A Schutt, T Walsh
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
72013
Symmetries, almost symmetries, and lazy clause generation
G Chu, MG De La Banda, C Mears, PJ Stuckey
Constraints 19 (4), 434-462, 2014
62014
Using relaxations in maximum density still life
G Chu, PJ Stuckey, MG De La Banda
International Conference on Principles and Practice of Constraint …, 2009
62009
The system can't perform the operation now. Try again later.
Articles 1–20