|
Author:Vijay GaneshPublications |
---|
| 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, Mapping, product lines, regular expressions, SAT+CAS, satisfiability, satisfiability checking2, SMT2, SMT-LIB, STP, strings, symbolic computation2, theories, TVL, variability. |
|
|