Näytä kaikki kuvailutiedot

Pysyväisosoite

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

Lähdeviite

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 .

Julkaisun nimi:	Proceedings of SAT Competition 2018 : Solver and Benchmark Descriptions
Muu tekijä:	Heule, Marijn J. H. Järvisalo, Matti Juhani Suda, Martin
Tekijän organisaatio:	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
Julkaisija:	Department of Computer Science, University of Helsinki
Päiväys:	2018
Kieli:	eng
Sivumäärä:	77
Kuuluu julkaisusarjaan:	Department of Computer Science Series of Publications B
URI:	http://hdl.handle.net/10138/237063
Avainsanat:	113 Computer and information sciences
Vertaisarvioitu:	Ei
Tekijänoikeustiedot:	cc_by_nc
Pääsyrajoitteet:	openAccess
Rinnakkaistallennettu versio:	publishedVersion
Rahoittaja:	Unknown funder
Rahoitusnumero:



Tiedostot

Latausmäärä yhteensä: Ladataan...

Tiedosto(t)	Koko	Formaatti	Näytä
sc2018_proceedings.pdf	1.868MB	PDF	Avaa tiedosto

Viite kuuluu kokoelmiin:

• TUHAT-artikkelit [41837]
  

Näytä kaikki kuvailutiedot