Matthew Lewis
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| McKay quivers and Lusztig algebras of some finite groups (available as arXiv preprint) | 2020-09-14 | Paper |
| Propositional reasoning about safety and termination of heap-manipulating programs Programming Languages and Systems | 2016-04-26 | Paper |
| ALLQBF solving by computational learning Automated Technology for Verification and Analysis | 2012-11-21 | Paper |
| Incremental preprocessing methods for use in BMC Formal Methods in System Design | 2012-09-27 | Paper |
| Encoding techniques, Craig interpolants and bounded model checking for incomplete designs Theory and Applications of Satisfiability Testing – SAT 2010 | 2010-09-29 | Paper |
| Thread-parallel integrated test pattern generator utilizing satisfiability analysis International Journal of Parallel Programming | 2010-08-13 | Paper |
| scientific article; zbMATH DE number 5620835 (Why is no real title available?) | 2009-10-26 | Paper |
| Theory and Applications of Satisfiability Testing Lecture Notes in Computer Science | 2005-12-15 | Paper |
Research outcomes over time
This page was built for person: Matthew Lewis
