Reducing SAT to Max2XOR
Data and Resources
-
Original MetadataJSON
The json representation of the dataset with its distributions based on DCAT.
Cite this as
Carlos Ansótegui, Jordi Levy (2024). Dataset: Reducing SAT to Max2XOR. https://doi.org/10.57702/612mq197
DOI retrieved: December 16, 2024
Additional Info
| Field | Value |
|---|---|
| Created | December 16, 2024 |
| Last update | December 16, 2024 |
| Defined In | https://doi.org/10.48550/arXiv.2204.01774 |
| Author | Carlos Ansótegui |
| More Authors |
|