Follow
Geoffrey Chu
Geoffrey Chu
Verified email at csse.unimelb.edu.au
Title
Cited by
Cited by
Year
Improving combinatorial optimization
GG Chu
University of Melbourne, Department of Computer Science and Software Engineering, 2011
1232011
Confidence-based work stealing in parallel constraint programming
G Chu, C Schulte, PJ Stuckey
Principles and Practice of Constraint Programming-CP 2009: 15th …, 2009
1122009
Pminisat: a parallelization of minisat 2.0
G Chu, PJ Stuckey, A Harwood
SAT race, 2008
802008
SAT: Projected model counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
642015
Solving talent scheduling with dynamic programming
M Garcia de la Banda, PJ Stuckey, G Chu
INFORMS Journal on Computing 23 (1), 120-137, 2011
482011
Minimizing the maximum number of open stacks by customer search
G Chu, PJ Stuckey
Principles and Practice of Constraint Programming-CP 2009: 15th …, 2009
442009
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
382010
Solution-based phase saving for CP: A value-selection heuristic to simulate local search behavior in complete solvers
E Demirović, G Chu, PJ Stuckey
Principles and Practice of Constraint Programming: 24th International …, 2018
362018
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
352012
Dominance breaking constraints
G Chu, PJ Stuckey
Constraints 20, 155-182, 2015
292015
Chuffed, a lazy clause generation solver
G Chu, PJ Stuckey, A Schutt, T Ehlers, G Gange, K Francis
URL: https://github. com/chuffed/chuffed, 2018
282018
Learning value heuristics for constraint programming
G Chu, PJ Stuckey
Integration of AI and OR Techniques in Constraint Programming: 12th …, 2015
262015
Stable model counting and its application in probabilistic logic programming
R Aziz, G Chu, C Muise, P Stuckey
Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
242015
A generic method for identifying and exploiting dominance relations
G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2012
222012
Symmetries and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Proceedings of the 16th international conference on principles and practice …, 2010
212010
Automatically exploiting subproblem equivalence in constraint programming
G Chu, MG De La Banda, PJ Stuckey
Integration of AI and OR Techniques in Constraint Programming for …, 2010
202010
Exploiting subproblem dominance in constraint programming
G Chu, MG De La Banda, PJ Stuckey
Constraints 17, 1-38, 2012
172012
Symmetries, almost symmetries, and lazy clause generation
G Chu, M Garcia De La Banda, C Mears, PJ Stuckey
Constraints 19, 434-462, 2014
152014
Stable model semantics for founded bounds
RA Aziz, G Chu, PJ Stuckey
Theory and Practice of Logic Programming 13 (4-5), 517-532, 2013
152013
Exact and heuristic methods for the resource-constrained net present value problem
H Gu, A Schutt, PJ Stuckey, MG Wallace, G Chu
Handbook on project management and scheduling vol. 1, 299-318, 2015
142015
The system can't perform the operation now. Try again later.
Articles 1–20