Matthew Gwynne
Orcid: 0000-0002-2472-0227
According to our database1,
Matthew Gwynne
authored at least 7 papers
between 2013 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
0
1
2
3
4
5
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
Hierarchies for efficient clausal entailment checking : with applications to satisfiability and knowledge compilation.
PhD thesis, 2014
J. Autom. Reason., 2014
A framework for good SAT translations, with applications to CNF representations of XOR constraints.
CoRR, 2014
Proceedings of the Language and Automata Theory and Applications, 2014
2013
Proceedings of the SOFSEM 2013: Theory and Practice of Computer Science, 2013