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
1042011
Confidence-based work stealing in parallel constraint programming
G Chu, C Schulte, PJ Stuckey
International conference on principles and practice of constraint …, 2009
1032009
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
452015
Minimizing the maximum number of open stacks by customer search
G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2009
382009
Solving talent scheduling with dynamic programming
M Garcia de la Banda, PJ Stuckey, G Chu
INFORMS Journal on Computing 23 (1), 120-137, 2011
362011
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
322010
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
312012
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
232018
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
202018
Symmetries and lazy clause generation
G Chu, MG de la Banda, C Mears, PJ Stuckey
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
182011
Learning value heuristics for constraint programming
G Chu, PJ Stuckey
International Conference on Integration of Constraint Programming …, 2015
172015
Dominance breaking constraints
G Chu, PJ Stuckey
Constraints 20 (2), 155-182, 2015
172015
Automatically exploiting subproblem equivalence in constraint programming
G Chu, MG Banda, PJ Stuckey
International Conference on Integration of Artificial Intelligence (AI) and …, 2010
172010
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
152015
A generic method for identifying and exploiting dominance relations
G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2012
152012
Stable model semantics for founded bounds
RA Aziz, G Chu, PJ Stuckey
Theory and Practice of Logic Programming 13 (4-5), 517-532, 2013
142013
Exploiting subproblem dominance in constraint programming
G Chu, MG De La Banda, PJ Stuckey
Constraints 17 (1), 1-38, 2012
142012
Symmetries, almost symmetries, and lazy clause generation
G Chu, M Garcia De La Banda, C Mears, PJ Stuckey
Constraints 19 (4), 434-462, 2014
122014
Nested constraint programs
G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2014
102014
The system can't perform the operation now. Try again later.
Articles 1–20