Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits
Publiceringsår
2005
Upphovspersoner
Järvisalo, Matti; Junttila, Tommi; Niemelä, Ilkka
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Tidning
Artikelstyp
En originalartikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A1 Originalartikel i en vetenskaplig tidskriftPublikationskanalens uppgifter
Förläggare
Volym
44
Nummer
4
Sidor
373-399
ISSN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Nyckelord
Boolean circuits; cut rule; DPLL; proof complexity; Satisfiability
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.1007/s10472-005-7034-1
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja