Ankit Shukla

Recent Publications

Short Q-Resolution Proofs with Homomorphisms
Ankit Shukla, Friedrich Slivovsky, Stefan Szeider
2020, Technical report AC-TR-20-007, Algorithms and Complexity Group, TU Wien.
PDF Cite
Short Q-Resolution Proofs with Homomorphisms
Ankit Shukla, Friedrich Slivovsky, Stefan Szeider
Proceedings of SAT 2020, The 23rd International Conference on Theory and Applications of Satisfiability Testing (Luca Pulina and Martina Seidl), volume 12178 of Lecture Notes in Computer Science, pages 412-428, 2020, Springer Verlag.
Cite Project Project Project