Matthew Lewis

From MaRDI portal
Person:453486

Available identifiers

zbMath Open lewis.matthew-d-tMaRDI QIDQ453486

List of research outcomes





PublicationDate of PublicationType
McKay quivers and Lusztig algebras of some finite groups2020-09-14Paper
Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs2016-04-26Paper
ALLQBF Solving by Computational Learning2012-11-21Paper
Incremental preprocessing methods for use in BMC2012-09-27Paper
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs2010-09-29Paper
Thread-parallel integrated test pattern generator utilizing satisfiability analysis2010-08-13Paper
https://portal.mardi4nfdi.de/entity/Q36397542009-10-26Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper

Research outcomes over time

This page was built for person: Matthew Lewis

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:453486&oldid=6954219"
Powered by MediaWiki