Proceedings of SAT Challenge 2012

Visa fullständig post

Permalink

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

Citation

Balint , A , Belov , A , Diepold , D , Gerber , S , Järvisalo , M & Sinz , C (eds) 2012 , Proceedings of SAT Challenge 2012 : Solver and Benchmark Descriptions . Department of Computer Science Series of Publications B , vol. B-2012-2 , vol. B-2012-2 , University of Helsinki , Helsinki .

Titel: Proceedings of SAT Challenge 2012;
Solver and Benchmark Descriptions
Author: University of Helsinki, Department of Computer Science; Balint, Adrian; Belov, Anton; Diepold, Daniel; Gerber, Simon; Järvisalo, Matti; Sinz, Carsten; ;
Editor: Balint, Adrian; Belov, Anton; Diepold, Daniel; Gerber, Simon; Järvisalo, Matti; Sinz, Carsten
Medarbetare: University of Helsinki, Department of Computer Science
Tillhör serie: Department of Computer Science Series of Publications B
Peer review status: Peer reviewed
Permanenta länken (URI): http://hdl.handle.net/10138/34218
Datum: 2012
Subject: 113 Computer and information sciences
Rights:


Filer under denna titel

Total number of downloads: Loading...

Filer Storlek Format Granska
sc2012_proceedings.pdf 1.767Mb PDF Granska/Öppna

Detta dokument registreras i samling:

Visa fullständig post