Följ
Geoffrey Chu
Geoffrey Chu
Verifierad e-postadress på csse.unimelb.edu.au
Titel
Citeras av
Citeras av
År
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
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
292018
Dominance breaking constraints
G Chu, PJ Stuckey
Constraints 20, 155-182, 2015
292015
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
212010
Exploiting subproblem dominance in constraint programming
G Chu, MG De La Banda, PJ Stuckey
Constraints 17, 1-38, 2012
182012
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20