Reducing SAT to Max2SAT

Loading...
Thumbnail Image
Date
2021
Authors
Ansótegui Gil, Carlos JoséAnsótegui Gil, Carlos José - ORCID ID
Levy, Jordi
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, Montreal, 19-27 August 2021. Zhi-Hua Zhou (Eds.), International Joint Conferences on Artificial Intelligence Organization. ISBN: 978-0-9992411-9-6. P. 1367--1373