%0 Conference Paper %1 conf/cpaior/BergDS19 %A Berg, Jeremias %A Demirovic, Emir %A Stuckey, Peter J. %B CPAIOR %D 2019 %E Rousseau, Louis-Martin %E Stergiou, Kostas %I Springer %K dblp %P 39-56 %T Core-Boosted Linear Search for Incomplete MaxSAT. %U http://dblp.uni-trier.de/db/conf/cpaior/cpaior2019.html#BergDS19 %V 11494 %@ 978-3-030-19212-9

@inproceedings{conf/cpaior/BergDS19, added-at = {2024-05-07T00:00:00.000+0200}, author = {Berg, Jeremias and Demirovic, Emir and Stuckey, Peter J.}, biburl = {https://www.bibsonomy.org/bibtex/229d875d9a02e85779dd62598fd868301/dblp}, booktitle = {CPAIOR}, crossref = {conf/cpaior/2019}, editor = {Rousseau, Louis-Martin and Stergiou, Kostas}, ee = {https://doi.org/10.1007/978-3-030-19212-9_3}, interhash = {d22c1bc5d36954062b26e0483a9f0589}, intrahash = {29d875d9a02e85779dd62598fd868301}, isbn = {978-3-030-19212-9}, keywords = {dblp}, pages = {39-56}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-05-13T09:05:43.000+0200}, title = {Core-Boosted Linear Search for Incomplete MaxSAT.}, url = {http://dblp.uni-trier.de/db/conf/cpaior/cpaior2019.html#BergDS19}, volume = 11494, year = 2019 }