Vijay Ganesh

6 papers in the IJCAI proceedings

IJCAI 2025

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems

with Zhengyu Li, Conor Duggan, Curtis Bright

doi:10.24963/ijcai.2025/292

Details PDF

IJCAI 2024

A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem

with Zhengyu Li, Curtis Bright

doi:10.24963/ijcai.2024/210

Details PDF

Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis

with Zhengyang Lu, Stefan Siemer, Piyush Jha, Joel Day, Florin Manea

doi:10.24963/ijcai.2024/211

Details PDF

IJCAI 2022

A Solver + Gradient Descent Training Algorithm for Deep Neural Networks

with Dhananjay Ashok, Vineel Nagisetty, Christopher Srinivasa

doi:10.24963/ijcai.2022/246

Details PDF

IJCAI 2020

Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem

with Curtis Bright, Kevin K.H. Cheung, Brett Stevens, Ilias Kotsireas

doi:10.24963/ijcai.2020/203

Details PDF

IJCAI 2018

An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate

with Jia Liang, Hari Govind, Pascal Poupart, Krzysztof Czarnecki

doi:10.24963/ijcai.2018/745

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings