Confidence-based work stealing in parallel constraint programming G Chu, C Schulte, PJ Stuckey
International conference on principles and practice of constraint …, 2009
99 2009 Improving combinatorial optimization GG Chu
78 2011 Pminisat: a parallelization of minisat 2.0 G Chu, PJ Stuckey, A Harwood
SAT race, 2008
75 2008 Minimizing the maximum number of open stacks by customer search G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2009
35 2009 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
32 2010 Solving talent scheduling with dynamic programming M Garcia de la Banda, PJ Stuckey, G Chu
INFORMS Journal on Computing 23 (1), 120-137, 2011
31 2011 SAT: Projected Model CountingRA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
30 2015 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
27 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
16 2010 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
15 2018 A generic method for identifying and exploiting dominance relations G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2012
15 2012 Learning value heuristics for constraint programming G Chu, PJ Stuckey
International Conference on AI and OR Techniques in Constriant Programming …, 2015
14 2015 Dominance breaking constraints G Chu, PJ Stuckey
Constraints 20 (2), 155-182, 2015
14 2015 Automatically exploiting subproblem equivalence in constraint programming G Chu, MG de La Banda, PJ Stuckey
International Conference on Integration of Artificial Intelligence (AI) and …, 2010
14 2010 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
13 2015 Stable model semantics for founded bounds. RA Aziz, G Chu, PJ Stuckey
Theory Pract. Log. Program. 13 (4-5), 517-532, 2013
13 2013 Exploiting subproblem dominance in constraint programming G Chu, MG De La Banda, PJ Stuckey
Constraints 17 (1), 1-38, 2012
12 2012 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
8 2018 Nested constraint programs G Chu, PJ Stuckey
International Conference on Principles and Practice of Constraint …, 2014
8 2014 Symmetries, almost symmetries, and lazy clause generation G Chu, MG de la Banda, C Mears, PJ Stuckey
Constraints 19 (4), 434-462, 2014
7 2014