The 2013 SMT Evaluation

LIBRIS Formathandbok (Information om MARC21)

Fältnamn	Indikatorer	Metadata
000		01603nam a2200253 4500
001		oai:DiVA.org:uu-529518
003		SwePub
008		240528s2014 \| \|\|\|\|\|\|\|\|\|\|\|000 \|\|eng\|
024	7	a https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-5295182 URI
040		a (SwePub)uu
041		a engb eng
042		9 SwePub
072	7	a vet2 swepub-contenttype
072	7	a rap2 swepub-publicationtype
100	1	a Cok, David R.4 aut
245	1 0	a The 2013 SMT Evaluation
264	1	b Department of Information Technology, Uppsala University,c 2014
338		a electronic2 rdacarrier
490	0	a Technical report / Department of Information Technology, Uppsala University,x 1404-3203 ;v 2014-017
520		a After 8 years of SMT Competitions, the SMT Steering Committee decided, for 2013, to sponsor an evaluation of the status of SMT benchmarks and solvers, rather than another competition. This report summarizes the results of the evaluation, conducted by the authors. The key observations are that (1) the competition results are quite sensitive to randomness and (2) the most significant need for the future is assessment and improvement of benchmarks in the light of SMT applications. The evaluation also measured competitiveness of solvers, general coverage of solvers, logics, and benchmarks, and degree of repeatability of measurements and competitions.
700	1	a Stump, Aaron4 aut
700	1	a Weber, Tjark4 aut
856	4	u https://uu.diva-portal.org/smash/get/diva2:1861859/FULLTEXT01.pdfx primaryx Raw objecty fulltext
856	4 8	u https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-529518

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.