Matthew Gwynne

Orcid: 0000-0002-2472-0227

According to our database1, Matthew Gwynne authored at least 7 papers between 2013 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2013
2014
0
1
2
3
4
5
2
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Hierarchies for efficient clausal entailment checking : with applications to satisfiability and knowledge compilation.
PhD thesis, 2014

Generalising Unit-Refutation Completeness and SLUR via Nested Input Resolution.
J. Autom. Reason., 2014

A framework for good SAT translations, with applications to CNF representations of XOR constraints.
CoRR, 2014

On SAT Representations of XOR Constraints.
Proceedings of the Language and Automata Theory and Applications, 2014

2013
Towards a theory of good SAT representations
CoRR, 2013

Trading inference effort versus size in CNF Knowledge Compilation.
CoRR, 2013

Generalising and Unifying SLUR and Unit-Refutation Completeness.
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013


  Loading...