Reducing SAT to Max2XOR
收藏DataCite Commons2024-12-16 更新2025-04-16 收录
下载链接：
https://service.tib.eu/ldmservice/dataset/ba0f26d7-ca3e-44e5-861a-a03359cd9ab3
下载链接
链接失效反馈官方服务：
资源简介：
Representing some problems with XOR clauses (parity constraints) can allow to apply more efficient reasoning techniques.
提供机构：
TIB
创建时间：
2024-12-16
