Vijay Ganesh
21 papers · 2016–2025 · 4 venues · across top CS/AI venues
This profile combines several different researchers. Authors are keyed by name, and this name's papers fall into 6 separate collaboration groups - the largest holds only 38% of them. Pick the group below that matches the researcher you mean. How a shared name is split.
Achievements are not shown for a combined profile - each one describes a single researcher's record, which this is not.
Which Vijay Ganesh?
3 groups of papers that share co-authors internally but none with each other - each most likely a different researcher. Pick one to see its papers.
with Curtis Bright, Zhengyu Li, Ilias Kotsireas
7 papers
· 2019–2025
· AAAI, IJCAI
Hide ▲
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems
IJCAI 2025
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
AAAI 2024
A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem
IJCAI 2024
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
AAAI 2024
A SAT-based Resolution of Lam's Problem
AAAI 2021
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
IJCAI 2020
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
AAAI 2019