Clause Redundancy and Preprocessing in Maximum Satisfiability
Publiceringsår
2022
Upphovspersoner
Ihalainen, Hannes Edvard; Berg, Jeremias; Järvisalo, Matti
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Moderpublikationens redaktörer
Blachette, Jasmin; Kovács, Laura; Pattinson, Dirk
Förläggare
Volym
13385
Sidor
75-94
ISBN
Publikationsforum
Publikationsforumsnivå
2
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ja
Öppen tillgång till publikationskanalen
Helt öppen publikationskanal
Licens för förläggarens version
CC BY
Parallellsparad
Ja
Parallellagringens licens
CC BY
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Nyckelord
[object Object],[object Object],[object Object],[object Object],[object Object]
Publiceringsland
Schweiz
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-031-10769-6_6
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja