Vijay Ganesh

Full Professor

Georgia Institute of Technology

United States

Research Interests

Explore related searches

Professors in United States Professors in Mathematics Mathematics professors in United States

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (9)

Year:

2023

Year:

2023

Year:

2023

Year:

2023

Year:

2021

Year:

2020

Year:

2020

Year:

2020

Year:

2020

Collaborators (3)

Aina Niemetz

Stanford University

UNITED STATES

View details

Mathias Preiner

Stanford University

UNITED STATES

View details

Florin Manea

University of Göttingen

GERMANY

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Vijay Ganesh

Research Interests

Explore related searches

Contact this professor

Articles (9)

Publisher Correction: Algorithm selection for SMT

Algorithm selection for SMT

Machine learning and logic: a new frontier in artificial intelligence

On the Expressive Power of String Constraints

Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT

New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences

Discovering symmetry invariants and conserved quantities by interpreting siamese neural networks

A nonexistence certificate for projective planes of order ten with weight 15 codewords

Applying computer algebra systems with SAT solvers to the Williamson conjecture

Collaborators (3)

Aina Niemetz

Mathias Preiner

Florin Manea

Make your next move.