Mayer-Eichberger, V., & Saffidine, A. (2020). Positional Games and QBF: The Corrective Encoding. Theory and Applications of Satisfiability Testing – SAT 2020.
Citação norma ChicagoMayer-Eichberger, Valentin, and Abdallah Saffidine. "Positional Games and QBF: The Corrective Encoding." Theory and Applications of Satisfiability Testing – SAT 2020 2020.
Citação norma MLAMayer-Eichberger, Valentin, and Abdallah Saffidine. "Positional Games and QBF: The Corrective Encoding." 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.