This repository contains code for the paper:
Jimmy H.M. Lee and Allen Z. Zhong. Automatic Generation of Dominance Breaking Nogoods for a Class of Constraint Optimization Problems. Proceedings of the 29th International Joint Conference on Artificial Intelligence. 2020.
@inproceedings{jlee2020auto,
title={Automatic Dominance Breaking for a Class of Constraint Optimization Problems},
author={Jimmy H.M. Lee and Allen Z. Zhong},
booktitle={Proceedings of the 29th International Joint Conference on Artificial Intelligence},
year={2020},
organization={AAAI Press}
}
The code has been tested with the following dependencies:
- Python 3.6 with numpy library
- Minizinc version 2.3.1