WFRF:(Weber Tjark)
Sökning: WFRF:(Weber Tjark) > The 2013 Evaluation...
LIBRIS Formathandbok (Information om MARC21)
| Fältnamn | Indikatorer | Metadata |
|---|---|---|
| 000 | 01979naa a2200313 4500 | |
| 001 | oai:DiVA.org:uu-256119 | |
| 003 | SwePub | |
| 008 | 150622s2015 | |||||||||||000 ||eng| | |
| 024 | 7 | a https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-2561192 URI |
| 024 | 7 | a https://doi.org/10.1007/s10817-015-9328-22 DOI |
| 040 | a (SwePub)uu | |
| 041 | a engb eng | |
| 042 | 9 SwePub | |
| 072 | 7 | a ref2 swepub-contenttype |
| 072 | 7 | a art2 swepub-publicationtype |
| 100 | 1 | a Cok, David R.4 aut |
| 245 | 1 0 | a The 2013 Evaluation of SMT-COMP and SMT-LIB |
| 264 | c 2015-05-07 | |
| 264 | 1 | b Springer Science and Business Media LLC,c 2015 |
| 338 | a print2 rdacarrier | |
| 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. | |
| 650 | 7 | a NATURVETENSKAPx Data- och informationsvetenskapx Datavetenskap0 (SwePub)102012 hsv//swe |
| 650 | 7 | a NATURAL SCIENCESx Computer and Information Sciencesx Computer Sciences0 (SwePub)102012 hsv//eng |
| 700 | 1 | a Stump, Aaron4 aut |
| 700 | 1 | a Weber, Tjarku Uppsala universitet,Datalogi4 aut0 (Swepub:uu)tjawe125 |
| 710 | 2 | a Uppsala universitetb Datalogi4 org |
| 773 | 0 | t Journal of automated reasoningd : Springer Science and Business Media LLCg 55:1, s. 61-90q 55:1<61-90x 0168-7433x 1573-0670 |
| 856 | 4 8 | u https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-256119 |
| 856 | 4 8 | u https://doi.org/10.1007/s10817-015-9328-2 |
Hitta via bibliotek
- Journal of automated reasoning (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Cok, David R.
- Stump, Aaron
- Weber, Tjark
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
- Artiklar i publikationen
- Journal of autom ...
- Av lärosätet
- Uppsala universitet
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
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.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
