Abstract
Ankit Shukla, Friedrich Slivovsky, Stefan Szeider. Short Q-Resolution Proofs with Homomorphisms. 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.
Type
Stefan Szeider
Head of Research Unit
Stefan Szeider is a Professor at the Algorithms and Complexity Group.