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
1112011
Confidence-based work stealing in parallel constraint programming
G Chu, C Schulte, PJ Stuckey
International conference on principles and practice of constraint …, 2009
1042009
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
492015
Minimizing the maximum number of open stacks by customer search
G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2009
392009
Solving talent scheduling with dynamic programming
M Garcia de la Banda, PJ Stuckey, G Chu
INFORMS Journal on Computing 23 (1), 120-137, 2011
382011
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
332010
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
322012
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
272018
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
192011
Automatically exploiting subproblem equivalence in constraint programming
G Chu, MG Banda, PJ Stuckey
International Conference on Integration of Artificial Intelligence (AI) and …, 2010
192010
Learning value heuristics for constraint programming
G Chu, PJ Stuckey
International Conference on Integration of Constraint Programming …, 2015
182015
Dominance breaking constraints
G Chu, PJ Stuckey
Constraints 20 (2), 155-182, 2015
172015
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
172015
A generic method for identifying and exploiting dominance relations
G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2012
172012
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
132014
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