You're currently viewing an old version of this dataset. To see the current version, click here.

Reducing SAT to Max2XOR

Representing some problems with XOR clauses (parity constraints) can allow to apply more efficient reasoning techniques.

Data and Resources

This dataset has no data

Cite this as

Carlos Ansótegui, Jordi Levy (2024). Dataset: Reducing SAT to Max2XOR. https://doi.org/10.57702/612mq197

Private DOI This DOI is not yet resolvable.
It is available for use in manuscripts, and will be published when the Dataset is made public.

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
Jordi Levy