Datasets Activity Stream About Order by Relevance Name Ascending Name Descending Last Modified Go 1 dataset found Groups: Satisfiability Filter Results Reducing SAT to Max2XOR Representing some problems with XOR clauses (parity constraints) can allow to apply more eļ¬cient reasoning techniques. Dataset JSON
