People
Research
Courses
Updates
Jobs
Contact
Internal
Light
Dark
Automatic
Ankit Shukla
Recent Publications
Short Q-Resolution Proofs with Homomorphisms
2020
Cite
×