Rebola-Pardo, Adrian: DRAT proofs for XOR reasoning. . In: Logics in Artificial Intelligence, 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings, S.415429
Inhalt