Matthew Gwynne

Identifiers

• name variant Matthew Gwynne 0.60 · backfill

Papers (5)

1. A framework for good SAT translations, with applications to CNF representations of XOR constraints cs.CC · 2014 · author #1
2. Trading inference effort versus size in CNF Knowledge Compilation cs.CC · 2013 · author #1
3. On SAT representations of XOR constraints cs.CC · 2013 · author #1
4. Towards a theory of good SAT representations cs.AI · 2013 · author #1
5. Generalising unit-refutation completeness and SLUR via nested input resolution cs.LO · 2012 · author #1

Mentions

• 1310.5746 #1 · backfill · confidence 0.70 Matthew Gwynne
• 1309.3060 #1 · backfill · confidence 0.70 Matthew Gwynne
• 1302.4421 #1 · backfill · confidence 0.70 Matthew Gwynne
• 1204.6529 #1 · backfill · confidence 0.70 Matthew Gwynne

Frequent Coauthors

• Oliver Kullmann 5 shared papers