Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions
Permalänk
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 | Granska/Öppna |
Detta dokument registreras i samling:
-
TUHAT-artikkelit [50320]