| Improving combinatorial optimization GG Chu University of Melbourne, Department of Computer Science and Software Engineering, 2011 | 127 | 2011 |
| Confidence-based work stealing in parallel constraint programming G Chu, C Schulte, PJ Stuckey Principles and Practice of Constraint Programming-CP 2009: 15th …, 2009 | 115 | 2009 |
| Pminisat: a parallelization of minisat 2.0 G Chu, PJ Stuckey, A Harwood SAT race, 2008 | 78 | 2008 |
| SAT: Projected model counting RA Aziz, G Chu, C Muise, P Stuckey International Conference on Theory and Applications of Satisfiability …, 2015 | 71 | 2015 |
| Solving talent scheduling with dynamic programming M Garcia de la Banda, PJ Stuckey, G Chu INFORMS Journal on Computing 23 (1), 120-137, 2011 | 50 | 2011 |
| Minimizing the maximum number of open stacks by customer search G Chu, PJ Stuckey Principles and Practice of Constraint Programming-CP 2009: 15th …, 2009 | 45 | 2009 |
| 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 | 43 | 2018 |
| 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 | 41 | 2010 |
| 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 | 37 | 2018 |
| 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 | 36 | 2012 |
| Dominance breaking constraints G Chu, PJ Stuckey Constraints 20, 155-182, 2015 | 32 | 2015 |
| Learning value heuristics for constraint programming G Chu, PJ Stuckey Integration of AI and OR Techniques in Constraint Programming: 12th …, 2015 | 27 | 2015 |
| 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 | 25 | 2015 |
| A generic method for identifying and exploiting dominance relations G Chu, PJ Stuckey International Conference on Principles and Practice of Constraint …, 2012 | 22 | 2012 |
| 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 | 22 | 2010 |
| 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 | 21 | 2010 |
| Symmetries, almost symmetries, and lazy clause generation G Chu, M Garcia De La Banda, C Mears, PJ Stuckey Constraints 19, 434-462, 2014 | 17 | 2014 |
| Exploiting subproblem dominance in constraint programming G Chu, MG De La Banda, PJ Stuckey Constraints 17, 1-38, 2012 | 17 | 2012 |
| Stable model semantics for founded bounds RA Aziz, G Chu, PJ Stuckey Theory and Practice of Logic Programming 13 (4-5), 517-532, 2013 | 16 | 2013 |
| 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 | 15 | 2015 |
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
