%0 Conference Paper %1 conf/cp/BjordalFPST20 %A Björdal, Gustav %A Flener, Pierre %A Pearson, Justin %A Stuckey, Peter J. %A Tack, Guido %B CP %D 2020 %E Simonis, Helmut %I Springer %K dblp %P 55-71 %T Solving Satisfaction Problems Using Large-Neighbourhood Search. %U http://dblp.uni-trier.de/db/conf/cp/cp2020.html#BjordalFPST20 %V 12333 %@ 978-3-030-58475-7

@inproceedings{conf/cp/BjordalFPST20, added-at = {2020-09-19T00:00:00.000+0200}, author = {Björdal, Gustav and Flener, Pierre and Pearson, Justin and Stuckey, Peter J. and Tack, Guido}, biburl = {https://www.bibsonomy.org/bibtex/28c3cba3ece341febd3a01d63ef8ece53/dblp}, booktitle = {CP}, crossref = {conf/cp/2020}, editor = {Simonis, Helmut}, ee = {https://doi.org/10.1007/978-3-030-58475-7_4}, interhash = {20890683598e7f7734cc306a7965d887}, intrahash = {8c3cba3ece341febd3a01d63ef8ece53}, isbn = {978-3-030-58475-7}, keywords = {dblp}, pages = {55-71}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-20T11:38:09.000+0200}, title = {Solving Satisfaction Problems Using Large-Neighbourhood Search.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2020.html#BjordalFPST20}, volume = 12333, year = 2020 }