%0 Conference Paper %1 conf/ccia/LiMSV21 %A Li, Chu-Min %A Manyà, Felip %A Soler, Joan Ramon %A Vidal, Amanda %B CCIA %D 2021 %E Villaret, Mateu %E Alsinet, Teresa %E Fernández, Cèsar %E Valls, Aïda %I IOS Press %K dblp %P 27-36 %T From Non-Clausal to Clausal MinSAT. %U http://dblp.uni-trier.de/db/conf/ccia/ccia2021.html#LiMSV21 %V 339 %@ 978-1-64368-211-2

@inproceedings{conf/ccia/LiMSV21, added-at = {2023-09-30T00:00:00.000+0200}, author = {Li, Chu-Min and Manyà, Felip and Soler, Joan Ramon and Vidal, Amanda}, biburl = {https://www.bibsonomy.org/bibtex/21c28975fdd95205c8591afe1696c26de/dblp}, booktitle = {CCIA}, crossref = {conf/ccia/2021}, editor = {Villaret, Mateu and Alsinet, Teresa and Fernández, Cèsar and Valls, Aïda}, ee = {https://doi.org/10.3233/FAIA210113}, interhash = {ed32d7b4257ff7e0116e972caefb7321}, intrahash = {1c28975fdd95205c8591afe1696c26de}, isbn = {978-1-64368-211-2}, keywords = {dblp}, pages = {27-36}, publisher = {IOS Press}, series = {Frontiers in Artificial Intelligence and Applications}, timestamp = {2024-04-09T12:40:23.000+0200}, title = {From Non-Clausal to Clausal MinSAT.}, url = {http://dblp.uni-trier.de/db/conf/ccia/ccia2021.html#LiMSV21}, volume = 339, year = 2021 }