%0 Conference Paper %1 conf/cp/GuerreiroTLFM19 %A Guerreiro, Andreia P. %A Terra-Neves, Miguel %A Lynce, Inês %A Figueira, José Rui %A Manquinho, Vasco M. %B CP %D 2019 %E Schiex, Thomas %E de Givry, Simon %I Springer %K dblp %P 232-250 %T Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving. %U http://dblp.uni-trier.de/db/conf/cp/cp2019.html#GuerreiroTLFM19 %V 11802 %@ 978-3-030-30048-7

@inproceedings{conf/cp/GuerreiroTLFM19, added-at = {2019-09-23T00:00:00.000+0200}, author = {Guerreiro, Andreia P. and Terra-Neves, Miguel and Lynce, Inês and Figueira, José Rui and Manquinho, Vasco M.}, biburl = {https://www.bibsonomy.org/bibtex/21db956654b2771ad96fe15e94a05f943/dblp}, booktitle = {CP}, crossref = {conf/cp/2019}, editor = {Schiex, Thomas and de Givry, Simon}, ee = {https://doi.org/10.1007/978-3-030-30048-7_14}, interhash = {40d79dbac0cfc3cf9a0a972d58cdc7a5}, intrahash = {1db956654b2771ad96fe15e94a05f943}, isbn = {978-3-030-30048-7}, keywords = {dblp}, pages = {232-250}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-24T11:45:40.000+0200}, title = {Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2019.html#GuerreiroTLFM19}, volume = 11802, year = 2019 }