@mastersthesis{ivezic_12,
 author = {Ivan Ivezić},
 month = {October},
 note = {supervised by G.~Raidl and L.~Di~Gaspero},
 school = {Vienna University of Technology, Institute of Computer Graphics and Algorithms},
 title = {Extending the Gecode Framework with Interval Constraint Programming},
 url = {https://www.ac.tuwien.ac.at/files/pub/ivezic_12.pdf},
 year = {2012}
}