Author:Vijay Ganesh

Publications
EasyChair Preprint no. 5949
EasyChair Preprint no. 825

Keyphrases

Artificial 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.