Benjamin Kiesl, Martina Seidl,
"QRAT Polynomially Simulates ?-Exp+Res"
: Proceedings of the 22nd Int. Conference on Theory and Applications of Satisfiability Testing, Serie Lecture Notes in Computer Science (LNCS), Vol. 11628, Springer, 2019
Original Titel:
QRAT Polynomially Simulates ?-Exp+Res
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 22nd Int. Conference on Theory and Applications of Satisfiability Testing
Forschungs-