Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1302.4421
Cited By
v1
v2
v3
v4 (latest)
Towards a theory of good SAT representations
18 February 2013
Matthew Gwynne
O. Kullmann
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Towards a theory of good SAT representations"
2 / 2 papers shown
Title
On SAT representations of XOR constraints
Matthew Gwynne
O. Kullmann
66
19
0
12 Sep 2013
Generalising unit-refutation completeness and SLUR via nested input resolution
Matthew Gwynne
O. Kullmann
55
19
0
29 Apr 2012
1
