@inproceedings{Chen_2022,
title = {The 2-MAXSAT Problem Can Be Solved in Polynomial Time},
url = {http://dx.doi.org/10.1109/CSCI58124.2022.00090},
doi = {10.1109/csci58124.2022.00090},
booktitle = {2022 International Conference on Computational Science and Computational Intelligence (CSCI)},
publisher = {IEEE},
author = {Chen, Yangjun},
year = {2022},
month = {dec},
date-added = {2024-4-2 11:3:6 +0100}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A