Matthew Gwynne

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Knowledge Compilation

Theorem Proving

Prime Implicates

Top Venues

J. Autom. Reason.

Swansea University, UK (PHD)

Education History

Swansea University, UK

PHD

Publications

Matthew Gwynne, Oliver Kullmann
Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution. J. Autom. Reason. 52 (1) (2014)
Matthew Gwynne, Oliver Kullmann
On SAT Representations of XOR Constraints. LATA (2014)
Matthew Gwynne, Oliver Kullmann
A framework for good SAT translations, with applications to CNF representations of XOR constraints. CoRR (2014)
Matthew Gwynne, Oliver Kullmann
Towards a theory of good SAT representations CoRR (2013)
Matthew Gwynne, Oliver Kullmann
Generalising and Unifying SLUR and Unit-Refutation Completeness. SOFSEM (2013)
Matthew Gwynne, Oliver Kullmann
Trading inference effort versus size in CNF Knowledge Compilation. CoRR (2013)
Matthew Gwynne, Oliver Kullmann
On SAT representations of XOR constraints. CoRR (2013)
Matthew Gwynne, Oliver Kullmann
Generalising unit-refutation completeness and SLUR via nested input resolution CoRR (2012)