Dataset - LDM

Reducing SAT to Max2XOR

Representing some problems with XOR clauses (parity constraints) can allow to apply more eﬃcient reasoning techniques.
- Dataset
- JSON

You can also access this registry using the API (see API Docs).

Before browse our site, please accept our cookies policy