Automating algebraic proof systems is NP-hard

Susanna F. De Rezende, Mika Göös, Jakob Nordström, Toniann Pitassi, Robert Robere, Dmitry Sokolov

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Automating algebraic proof systems is NP-hard”. Tillsammans bildar de ett unikt fingeravtryck.

Computer Science