Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions

Visa fullständig post



Permalänk

http://hdl.handle.net/10138/237063

Citation

Heule , M J H , Järvisalo , M J & Suda , M (eds) 2018 , Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2018-1 , vol. B-2018-1 , Department of Computer Science, University of Helsinki , Helsinki .

Titel: Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions
Medarbetare: Heule, Marijn J. H.
Järvisalo, Matti Juhani
Suda, Martin
Upphovmannens organisation: Helsinki Institute for Information Technology
Constraint Reasoning and Optimization research group / Matti Järvisalo
The Finnish Center of Excellence in Computational Inference Research (COIN)
Department of Computer Science
Utgivare: Department of Computer Science, University of Helsinki
Datum: 2018
Språk: eng
Sidantal: 77
Tillhör serie: Department of Computer Science Series of Publications B
Permanenta länken (URI): http://hdl.handle.net/10138/237063
Subject: 113 Computer and information sciences
Referentgranskad: Nej
Licens: cc_by_nc
Användningsbegränsning: openAccess
Parallelpublicerad version: publishedVersion
Finansierad av: Unknown funder
Finansierings ID:


Filer under denna titel

Totalt antal nerladdningar: Laddar...

Filer Storlek Format Granska
sc2018_proceedings.pdf 1.868Mb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post