Chu Min Li, Felip ManyĆ , Joan Ramon Soler. Clausal Form Transformation in MaxSAT. In 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019. pages 132-137, IEEE, 2019. [doi]
@inproceedings{LiMS19-5, title = {Clausal Form Transformation in MaxSAT}, author = {Chu Min Li and Felip ManyĆ and Joan Ramon Soler}, year = {2019}, doi = {10.1109/ISMVL.2019.00031}, url = {https://doi.org/10.1109/ISMVL.2019.00031}, researchr = {https://researchr.org/publication/LiMS19-5}, cites = {0}, citedby = {0}, pages = {132-137}, booktitle = {2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019}, publisher = {IEEE}, isbn = {978-1-7281-0092-0}, }