Fingeravtryck
Fördjupa i forskningsämnen för ”Relating proof complexity measures and practical hardness of SAT”. Tillsammans bildar de ett unikt fingeravtryck.- Sortera efter
- Vikt
- Alfabetisk ordning
Relating proof complexity measures and practical hardness of SAT
Matti Järvisalo, Arie Matsliah, Jakob Nordström, Stanislav Živný
Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review