External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Short Q-Resolution Proofs with Homomorphisms

Ankit Shukla, Friedrich Slivovsky, Stefan Szeider. Short Q-Resolution Proofs with Homomorphisms. In Luca Pulina, Martina Seidl, editors, Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Volume 12178 of Lecture Notes in Computer Science, pages 412-428, Springer, 2020. [doi]

Authors

Ankit Shukla

This author has not been identified. Look up 'Ankit Shukla' in Google

Friedrich Slivovsky

This author has not been identified. Look up 'Friedrich Slivovsky' in Google

Stefan Szeider

This author has not been identified. Look up 'Stefan Szeider' in Google
runs on