Author:Vijay GaneshPublications |
---|
EasyChair Preprint 5949 | EasyChair Preprint 825 | | Erika Abraham, John Abbott, Bernd Becker, Anna M. Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening and Werner M. Seiler | | |
KeyphrasesArtificial Intelligence, automated reasoning, combinatorial design theory, combinatorial search, computer algebra, Configuration, Hardness Model, hierarchical community structure, Mapping, parameterized complexity, product lines, regular expressions, SAT+CAS, satisfiability, satisfiability checking2, SMT2, SMT-LIB, STP, strings, symbolic computation2, theories, TVL, variability. |
|