HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Vijay Ganesh

Publications
Predicting SAT Solver Performance on Heterogeneous Hardware
Zack Newsham, Vijay Ganesh and Sebastian Fischmeister
In:Proceedings of Pragmatics of SAT 2015 and 2018
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices
Curtis Bright, Dragomir Ž Djoković, Ilias Kotsireas and Vijay Ganesh
EasyChair Preprint no. 825
SC-square: when Satisfiability Checking and Symbolic Computation join forces
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
In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
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
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

Keyphrases

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

Copyright © 2012-2021 easychair.org. All rights reserved.