Author:Ashwin Karthikeyan

Publications
Scaling Zero Knowledge UNSAT Verification via Normalized Chaining Ashwin Karthikeyan, Ethan Kharitonov, Kuldeep S. Meel and Anwar Hithnawi In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning