On minimal unsatisfiability and time-space trade-offs for k-DNF resolution

Jakob Nordström, Alexander Razborov

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”On minimal unsatisfiability and time-space trade-offs for k-DNF resolution”. Tillsammans bildar de ett unikt fingeravtryck.

Mathematics

Computer Science