Publications

Publications for Vijay Ganesh

2019

[bibtex]
Gereon Kremer, Erika Abraham, Vijay Ganesh. On the Proof Complexity of MCSAT. Proceedings of the 4th International Workshop on Satisfiability Checking and Symbolic Computation, , 2019.
Show all