Author:Vijay Ganesh

Publications
On the Hierarchical Community Structure of Practical SAT Formulas Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu and Vijay Ganesh EasyChair Preprint 5949
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices Curtis Bright, Dragomir Ž Djoković, Ilias Kotsireas and Vijay Ganesh EasyChair Preprint 825
Predicting SAT Solver Performance on Heterogeneous Hardware Zack Newsham, Vijay Ganesh and Sebastian Fischmeister In:Proceedings of Pragmatics of SAT 2015 and 2018
SC-square: when Satisfiability Checking and Symbolic Computation join forces Erika Abraham, 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 In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
SMT-LIB Sequences and Regular Expressions Nikolaj Bjorner, Vijay Ganesh, Raphaël Michel and Margus Veanes In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories
An SMT-based approach to automated configuration Raphaël Michel, Arnaud Hubaux, Vijay Ganesh and Patrick Heymans In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories

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 checking², SMT², SMT-LIB, STP, strings, symbolic computation², theories, TVL, variability.