%0 Conference Paper %1 conf/cp/RendlGST15 %A Rendl, Andrea %A Guns, Tias %A Stuckey, Peter J. %A Tack, Guido %B CP %D 2015 %E Pesant, Gilles %I Springer %K %P 376-392 %T MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. %U http://dblp.uni-trier.de/db/conf/cp/cp2015.html#RendlGST15 %V 9255 %@ 978-3-319-23218-8

@inproceedings{conf/cp/RendlGST15, added-at = {2023-12-13T00:34:33.000+0100}, author = {Rendl, Andrea and Guns, Tias and Stuckey, Peter J. and Tack, Guido}, biburl = {https://www.bibsonomy.org/bibtex/294bd5a872ac0e1d045d00c33861a45ad/admin}, booktitle = {CP}, crossref = {conf/cp/2015}, editor = {Pesant, Gilles}, ee = {https://doi.org/10.1007/978-3-319-23219-5_27}, interhash = {65548033e5e974fecc821e8c6a5e860d}, intrahash = {94bd5a872ac0e1d045d00c33861a45ad}, isbn = {978-3-319-23218-8}, keywords = {}, pages = {376-392}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:34:33.000+0100}, title = {MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2015.html#RendlGST15}, volume = 9255, year = 2015 }