Zulkoski, E., Bright, C., Heinle, A., Kotsireas, I., Czarnecki, K., & Ganesh, V. (2017). Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures Journal of Automated Reasoning, 58, 339. https://doi.org/10.1007/s10817-016-9396-y (Original work published 2011)
Reference author: Vijay Ganesh
First name
Vijay
Last name
Ganesh
Zulkoski, E., Martins, R., Wintersteiger, C., Robere, R., Liang, J. H., Czarnecki, K., & Ganesh, V. (2017). Empirically Relating Complexity-theoretic Parameters with SAT Solver Performance Presented at the Empirically Relating Complexity-Theoretic Parameters With SAT Solver Performance conference. EPIC. (Original work published 2017)
Liang, J. H., Ganesh, V., Poupart, P., & Czarnecki, K. (2016). Exponential Recency Weighted Average Branching Heuristic for SAT Solvers Presented at the Exponential Recency Weighted Average Branching Heuristic for SAT Solvers conference. Retrieved from http://dl.acm.org/citation.cfm?id=3016100.3016385 (Original work published 2016)
Zulkoski, E., Ganesh, V., & Czarnecki, K. (2016). MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers Presented at the MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers conference. AAAI Press. (Original work published 2016)
Babaee, R., Ganesh, V., & Sedwards, S. (2019). Accelerated Learning of Predictive Runtime Monitors for Rare Failure Porto, Portugal: Springer.