%0 Conference Paper %1 conf/ccia/Casas-RomaHM17 %A Casas-Roma, Joan %A Huertas, Antonia %A Manyà, Felip %B CCIA %D 2017 %E Aguiló, Isabel %E Alquézar, René %E Angulo, Cecilio %E Ortiz, Alberto %E Torrens, Joan %I IOS Press %K dblp %P 186-195 %T Solving MaxSAT with Natural Deduction. %U http://dblp.uni-trier.de/db/conf/ccia/ccia2017.html#Casas-RomaHM17 %V 300 %@ 978-1-61499-806-8

@inproceedings{conf/ccia/Casas-RomaHM17, added-at = {2020-10-25T00:00:00.000+0200}, author = {Casas-Roma, Joan and Huertas, Antonia and Manyà, Felip}, biburl = {https://www.bibsonomy.org/bibtex/20b403b4d0310d25559b91f8856d2b768/dblp}, booktitle = {CCIA}, crossref = {conf/ccia/2017}, editor = {Aguiló, Isabel and Alquézar, René and Angulo, Cecilio and Ortiz, Alberto and Torrens, Joan}, ee = {https://doi.org/10.3233/978-1-61499-806-8-186}, interhash = {bf158e77bd36cb0a9ff298c3696b309f}, intrahash = {0b403b4d0310d25559b91f8856d2b768}, isbn = {978-1-61499-806-8}, keywords = {dblp}, pages = {186-195}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T12:40:14.000+0200}, title = {Solving MaxSAT with Natural Deduction.}, url = {http://dblp.uni-trier.de/db/conf/ccia/ccia2017.html#Casas-RomaHM17}, volume = 300, year = 2017 }