Author:Vijay GaneshPublications |
---|
EasyChair Preprint no. 5949 | | EasyChair Preprint no. 825 | Erika Ábrahám, 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. |
|