Vijay Ganesh
University of Waterloo
H-index: 37
North America-Canada
Top articles of Vijay Ganesh
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) | Proceedings of the AAAI Conference on Artificial Intelligence | Zhengyu Li Curtis Bright Vijay Ganesh | 2024/3/24 |
A Linear Time Algorithm for Two-Vertex Bottlenecks | Sam Buss Vijay Ganesh Albert Oliveras | 2024/3/16 | |
Grounding Neural Inference with Satisfiability Modulo Theories | Advances in Neural Information Processing Systems | Zifan Wang Saranya Vijayakumar Kaiji Lu Vijay Ganesh Somesh Jha | 2024/2/13 |
A reinforcement learning based reset policy for cdcl sat solvers | arXiv preprint arXiv:2404.03753 | Chunxiao Li Charlie Liu Jonathan Chung Piyush Jha Vijay Ganesh | 2024/4/4 |
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis | arXiv preprint arXiv:2401.17159 | Zhengyang Lu Stefan Siemer Piyush Jha Joel Day Florin Manea | 2024/1/30 |
A SAT+ Computer Algebra System Verification of the Ramsey Problem R (3, 8)(Student Abstract) | Proceedings of the AAAI Conference on Artificial Intelligence | Conor Duggan Zhengyu Li Curtis Bright Vijay Ganesh | 2024/3/24 |
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems | arXiv preprint arXiv:2401.13770 | Piyush Jha Zhengyu Li Zhengyang Lu Curtis Bright Vijay Ganesh | 2024/1/24 |
BertRLFuzzer: A BERT and Reinforcement Learning Based Fuzzer (Student Abstract) | arXiv preprint arXiv:2305.12534 | Piyush Jha Joseph Scott Jaya Sriram Ganeshna Mudit Singh Vijay Ganesh | 2023/5/21 |
On the expressive power of string constraints | Proceedings of the ACM on Programming Languages | Joel D Day Vijay Ganesh Nathan Grewal Florin Manea | 2023/1/9 |
Limits of CDCL Learning via Merge Resolution | arXiv preprint arXiv:2304.09422 | Marc Vinyals Chunxiao Li Noah Fleming Antonina Kolokolova Vijay Ganesh | 2023/4/19 |
A closer look at the expressive power of logics based on word equations | Theory of Computing Systems | Joel Day Vijay Ganesh Nathan Grewal Matthew Konefal Florin Manea | 2023/12/11 |
Learning shorter redundant clauses in SDCL using MaxSAT | Albert Oliveras Chunxiao Li Darryl Wu Jonathan Chung Vijay Ganesh | 2023 | |
CGDTest: A Constrained Gradient Descent Algorithm for Testing Neural Networks | arXiv preprint arXiv:2304.01826 | Vineel Nagisetty Laura Graves Guanting Pan Piyush Jha Vijay Ganesh | 2023/4/4 |
Publisher Correction: Algorithm selection for SMT | International Journal on Software Tools for Technology Transfer | Joseph Scott Aina Niemetz Mathias Preiner Saeed Nejati Vijay Ganesh | 2023/12 |
Algorithm selection for SMT: MachSMT: machine learning driven algorithm selection for SMT solvers | International Journal on Software Tools for Technology Transfer | Joseph Scott Aina Niemetz Mathias Preiner Saeed Nejati Vijay Ganesh | 2023/4 |
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411) | Olaf Beyersdorff Armin Biere Vijay Ganesh Jakob Nordström Andy Oertel | 2023 | |
Robust training for AC-OPF (student abstract) | Proceedings of the AAAI Conference on Artificial Intelligence | Fuat Can Beylunioglu Mehrdad Pirnia P Robert Duimering Vijay Ganesh | 2023/6/26 |
Learning modulo theories | arXiv preprint arXiv:2301.11435 | Matt Fredrikson Kaiji Lu Saranya Vijayakumar Somesh Jha Vijay Ganesh | 2023/1/26 |
Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291) | Sébastien Bardin Somesh Jha Vijay Ganesh | 2023 | |
Attention, compilation, and solver-based symbolic analysis are all you need | arXiv preprint arXiv:2306.06755 | Prithwish Jana Piyush Jha Haoyang Ju Gautham Kishore Aryan Mahajan | 2023/6/11 |