Chu, Geoffrey

4 publications

AAAI 2015 Stable Model Counting and Its Application in Probabilistic Logic Programming Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey

IJCAI 2013 Improving Combinatorial Optimization - Extended Abstract Geoffrey Chu

IJCAI 2013 On the Complexity of Global Scheduling Constraints Under Structural Restrictions Geoffrey Chu, Serge Gaspers, Nina Narodytska, Andreas Schutt, Toby Walsh

IJCAI 2011 Symmetries and Lazy Clause Generation Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears