Mears, Christopher

2 publications

IJCAI 2015 Towards Automatic Dominance Breaking for Constraint Optimization Problems Christopher Mears, Maria Garcia de la Banda

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