Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1309.3060
Cited By
v1
v2
v3
v4 (latest)
On SAT representations of XOR constraints
12 September 2013
Matthew Gwynne
O. Kullmann
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"On SAT representations of XOR constraints"
1 / 1 papers shown
Title
Towards a theory of good SAT representations
Matthew Gwynne
O. Kullmann
64
9
0
18 Feb 2013
1