%0 Conference Paper %1 conf/ecai/LeivoBJ20 %A Leivo, Marcus %A Berg, Jeremias %A Järvisalo, Matti %B ECAI %D 2020 %E Giacomo, Giuseppe De %E Catalá, Alejandro %E Dilkina, Bistra %E Milano, Michela %E Barro, Senén %E Bugarín, Alberto %E Lang, Jérôme %I IOS Press %K dblp %P 347-354 %T Preprocessing in Incomplete MaxSAT Solving. %U http://dblp.uni-trier.de/db/conf/ecai/ecai2020.html#LeivoBJ20 %V 325 %@ 978-1-64368-101-6

@inproceedings{conf/ecai/LeivoBJ20, added-at = {2021-01-29T00:00:00.000+0100}, author = {Leivo, Marcus and Berg, Jeremias and Järvisalo, Matti}, biburl = {https://www.bibsonomy.org/bibtex/2878d42f6b205c2457debc2b5152fbbd2/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/2020}, editor = {Giacomo, Giuseppe De and Catalá, Alejandro and Dilkina, Bistra and Milano, Michela and Barro, Senén and Bugarín, Alberto and Lang, Jérôme}, ee = {https://doi.org/10.3233/FAIA200112}, interhash = {fa72aa9372a44dac085a28aa1001a8cd}, intrahash = {878d42f6b205c2457debc2b5152fbbd2}, isbn = {978-1-64368-101-6}, keywords = {dblp}, pages = {347-354}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T18:45:29.000+0200}, title = {Preprocessing in Incomplete MaxSAT Solving.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai2020.html#LeivoBJ20}, volume = 325, year = 2020 }