%0 Conference Paper %1 conf/lion/MartinsML12 %A Martins, Ruben %A Manquinho, Vasco M. %A Lynce, Inês %B LION %D 2012 %E Hamadi, Youssef %E Schoenauer, Marc %I Springer %K dblp %P 455-460 %T Clause Sharing in Parallel MaxSAT. %U http://dblp.uni-trier.de/db/conf/lion/lion2012.html#MartinsML12 %V 7219 %@ 978-3-642-34412-1

@inproceedings{conf/lion/MartinsML12, added-at = {2017-06-04T00:00:00.000+0200}, author = {Martins, Ruben and Manquinho, Vasco M. and Lynce, Inês}, biburl = {https://www.bibsonomy.org/bibtex/23513c5aa48afb9c16614a2f65d924e4f/dblp}, booktitle = {LION}, crossref = {conf/lion/2012}, editor = {Hamadi, Youssef and Schoenauer, Marc}, ee = {https://doi.org/10.1007/978-3-642-34413-8_44}, interhash = {ff796652dca193c3d81b39c43f1835f9}, intrahash = {3513c5aa48afb9c16614a2f65d924e4f}, isbn = {978-3-642-34412-1}, keywords = {dblp}, pages = {455-460}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:50:58.000+0200}, title = {Clause Sharing in Parallel MaxSAT.}, url = {http://dblp.uni-trier.de/db/conf/lion/lion2012.html#MartinsML12}, volume = 7219, year = 2012 }