Generalising and Unifying SLUR and Unit-Refutation Completeness. - Matthew Gwynne; Oliver Kullmann (SOFSEM, 2013)

Trading inference effort versus size in CNF Knowledge Compilation. - Matthew Gwynne; Oliver Kullmann (CoRR, 2013)

Towards a theory of good SAT representations - Matthew Gwynne; Oliver Kullmann (CoRR, 2013)

On SAT Representations of XOR Constraints. - Matthew Gwynne; Oliver Kullmann (LATA, 2014)

A framework for good SAT translations, with applications to CNF representations of XOR constraints. - Matthew Gwynne; Oliver Kullmann (CoRR, 2014)

Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution. - Matthew Gwynne; Oliver Kullmann (J. Autom. Reason., 2014)

Hierarchies for efficient clausal entailment checking : with applications to satisfiability and knowledge compilation. - Matthew Gwynne (2014)