{"type":"ScholarlyArticle","title":"Towards Automatic Dominance Breaking for Constraint Optimization Problems","authors":[{"name":"Christopher Mears","slug":"christopher-mears","given":"Christopher","family":"Mears","affiliation":""},{"name":"Maria Garcia de la Banda","slug":"maria-garcia-de-la-banda","given":"Maria Garcia","family":"de la Banda","affiliation":""}],"abstract":"The exploitation of dominance relations in constraint optimization problems can lead to dramatic reductions in search space. We propose an automatic method to detect some of the dominance relations manually identified by Chu and Stuckey for optimization problems, and to construct the associated dominance breaking constraints. Experimental results show that the method is able to find several dominance relations and to generate effective dominance breaking constraints.","doi":null,"url":"https://ijcai.org/proceedings/2015/57","pdf":"https://ijcai.org/proceedings/2015/0057.pdf","markdown":"https://ijcai.org/proceedings/2015/57.md","bibtex":"https://ijcai.org/proceedings/2015/bibtex/57","volume":{"slug":"2015","title":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2015","url":"https://ijcai.org/proceedings/2015/","year":2015,"location":"Buenos Aires, Argentina","dates":"25–31 July 2015","editors":"Qiang Yang and Michael Wooldridge","isbn":"978-1-57735-738-4","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Constraints, Satisfiability, and Search","track":"Main Track","number":57,"pages":{"first":360,"last":365},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}