%0 Journal Article %1 journals/igpl/LiXM21 %A Li, Chu-Min %A Xiao, Fan %A Manyà, Felip %D 2021 %J Log. J. IGPL %K dblp %N 1 %P 28-44 %T A resolution calculus for MinSAT. %U http://dblp.uni-trier.de/db/journals/igpl/igpl29.html#LiXM21 %V 29

@article{journals/igpl/LiXM21, added-at = {2021-02-18T00:00:00.000+0100}, author = {Li, Chu-Min and Xiao, Fan and Manyà, Felip}, biburl = {https://www.bibsonomy.org/bibtex/2c6df026fd9c730c188c6605373626e71/dblp}, ee = {https://doi.org/10.1093/jigpal/jzz028}, interhash = {1878e787e7ec849374594b6af899b14f}, intrahash = {c6df026fd9c730c188c6605373626e71}, journal = {Log. J. IGPL}, keywords = {dblp}, number = 1, pages = {28-44}, timestamp = {2024-04-09T06:05:02.000+0200}, title = {A resolution calculus for MinSAT.}, url = {http://dblp.uni-trier.de/db/journals/igpl/igpl29.html#LiXM21}, volume = 29, year = 2021 }