Shukla, A., Slivovsky, F., & Szeider, S. (2020). Short Q-Resolution Proofs with Homomorphisms. Theory and Applications of Satisfiability Testing – SAT 2020.
Citación estilo ChicagoShukla, Ankit, Friedrich Slivovsky, and Stefan Szeider. "Short Q-Resolution Proofs With Homomorphisms." Theory and Applications of Satisfiability Testing – SAT 2020 2020.
Cita MLAShukla, Ankit, Friedrich Slivovsky, and Stefan Szeider. "Short Q-Resolution Proofs With Homomorphisms." Theory and Applications of Satisfiability Testing – SAT 2020 2020.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.