Author:Vijay Ganesh
Keyphrasesautomated reasoning, computer algebra, Configuration, Mapping, product lines, regular expressions, satisfiability, satisfiability checking, SMT2, SMT-LIB, STP, strings, symbolic computation, theories, TVL, variability. |
| |||||
| |||||
| Copyright © 2012-2019 easychair.org. All rights reserved. |