Author:Vijay Ganesh

Publications
EasyChair Preprint 5949
EasyChair Preprint 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.