Maria Garcia de la Banda

2 papers in the IJCAI proceedings

IJCAI 2015

Towards Automatic Dominance Breaking for Constraint Optimization Problems

with Christopher Mears

Details PDF

IJCAI 2011

Symmetries and Lazy Clause Generation

with Geoffrey Chu, Peter J. Stuckey, Christopher Mears

doi:10.5591/978-1-57735-516-8/IJCAI11-094

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings