Geoffrey Chu - RankMe

31 papers A* 4A 9B 4Journal 11Unranked 1

Year	Rank	Type	Title / Venue / Authors
2018	A	`conf`	Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers. CP Emir Demirovic, Geoffrey Chu, Peter J. Stuckey
2016	B	`conf`	Lagrangian Decomposition via Sub-problem Search. CPAIOR Geoffrey Chu, Graeme Gange, Peter J. Stuckey
2016	—	`conf`	Symmetry declarations for MiniZinc. ACSW Nathaniel Baxter, Geoffrey Chu, Peter J. Stuckey
2015	A	`conf`	#∃SAT: Projected Model Counting. SAT Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
2015	J	`jnl`	Dominance breaking constraints. Constraints An Int. J. Geoffrey Chu, Peter J. Stuckey
2015	B	`conf`	Learning Value Heuristics for Constraint Programming. CPAIOR Geoffrey Chu, Peter J. Stuckey
2015	J	`jnl`	Projected Model Counting. CoRR Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
2015	A*	`conf`	Stable Model Counting and Its Application in Probabilistic Logic Programming. AAAI Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey
2014	J	`jnl`	Grounding Bound Founded Answer Set Programs. CoRR Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey
2014	A	`conf`	Nested Constraint Programs. CP Geoffrey Chu, Peter J. Stuckey
2014	J	`jnl`	Stable Model Counting and Its Application in Probabilistic Logic Programming. CoRR Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
2014	J	`jnl`	Symmetries, almost symmetries, and lazy clause generation. Constraints An Int. J. Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey
2013	A	`conf`	Dominance Driven Search. CP Geoffrey Chu, Peter J. Stuckey
2013	A*	`conf`	Improving Combinatorial Optimization - Extended Abstract. IJCAI Geoffrey Chu
2013	A*	`conf`	On the Complexity of Global Scheduling Constraints under Structural Restrictions. IJCAI Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh
2013	J	`jnl`	Stable model semantics for founded bounds. Theory Pract. Log. Program. Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey
2013	J	`jnl`	Structure Based Extended Resolution for Constraint Programming. CoRR Geoffrey Chu, Peter J. Stuckey
2012	A	`conf`	A Generic Method for Identifying and Exploiting Dominance Relations. CP Geoffrey Chu, Peter J. Stuckey
2012	J	`jnl`	A complete solution to the Maximum Density Still Life Problem. Artif. Intell. Geoffrey Chu, Peter J. Stuckey
2012	J	`jnl`	Exploiting subproblem dominance in constraint programming. Constraints An Int. J. Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
2012	A	`conf`	Inter-instance Nogood Learning in Constraint Programming. CP Geoffrey Chu, Peter J. Stuckey
2012	B	`conf`	Maximising the Net Present Value for Resource-Constrained Project Scheduling. CPAIOR Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace
2011	—	`—`	Improving combinatorial optimization. Geoffrey Chu
2011	J	`jnl`	Solving Talent Scheduling with Dynamic Programming. INFORMS J. Comput. Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu
2011	A*	`conf`	Symmetries and Lazy Clause Generation. IJCAI Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears
2010	B	`conf`	Automatically Exploiting Subproblem Equivalence in Constraint Programming. CPAIOR Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey
2010	—	`ch.`	Constraint Programming to Solve Maximal Density Still Life. Game of Life Cellular Automata Geoffrey Chu, Karen Elizabeth Petrie, Neil Yorke-Smith
2009	J	`jnl`	Cache Conscious Data Structures for Boolean Satisfiability Solvers. J. Satisf. Boolean Model. Comput. Geoffrey Chu, Aaron Harwood, Peter J. Stuckey
2009	A	`conf`	Confidence-Based Work Stealing in Parallel Constraint Programming. CP Geoffrey Chu, Christian Schulte, Peter J. Stuckey
2009	A	`conf`	Minimizing the Maximum Number of Open Stacks by Customer Search. CP Geoffrey Chu, Peter J. Stuckey
2009	A	`conf`	Using Relaxations in Maximum Density Still Life. CP Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda