%0 Conference Paper %1 conf/aaai/DaviesGS17 %A Davies, Toby O. %A Gange, Graeme %A Stuckey, Peter J. %B AAAI %D 2017 %E Singh, Satinder P. %E Markovitch, Shaul %I AAAI Press %K %P 787-793 %T Automatic Logic-Based Benders Decomposition with MiniZinc. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#DaviesGS17

@inproceedings{conf/aaai/DaviesGS17, added-at = {2023-12-12T19:25:32.000+0100}, author = {Davies, Toby O. and Gange, Graeme and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/2d50f138acac0141dd85937a947d69431/admin}, booktitle = {AAAI}, crossref = {conf/aaai/2017}, editor = {Singh, Satinder P. and Markovitch, Shaul}, ee = {http://aaai.org/ocs/index.php/AAAI/AAAI17/paper/view/14489}, interhash = {20852910dd24e8c6db3d8679dfaf9d4d}, intrahash = {d50f138acac0141dd85937a947d69431}, keywords = {}, pages = {787-793}, publisher = {AAAI Press}, timestamp = {2023-12-12T19:25:32.000+0100}, title = {Automatic Logic-Based Benders Decomposition with MiniZinc.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#DaviesGS17}, year = 2017 }