{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:13Z","timestamp":1725748513411},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_23","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"233-238","source":"Crossref","is-referenced-by-count":2,"title":["VCWC: A Versioning Competition Workflow Compiler"],"prefix":"10.1007","author":[{"given":"G\u00fcnther","family":"Charwat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovambattista","family":"Ianni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Krennwallner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Kronegger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Pfandler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Redl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Schwengerer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lara Katharina","family":"Spendier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johannes Peter","family":"Wallner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guohui","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Asparagus Web-based Benchmarking Environment, http:\/\/asparagus.cs.uni-potsdam.de\/"},{"issue":"3","key":"23_CR2","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s10817-012-9246-5","volume":"50","author":"C. Barrett","year":"2013","unstructured":"Barrett, C., Deters, M., Moura, L., Oliveras, A., Stump, A.: 6 years of SMT-Comp. J. Auto. Reasoning\u00a050(3), 243\u2013277 (2013)","journal-title":"J. Auto. Reasoning"},{"issue":"4","key":"23_CR3","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1609\/aimag.v33i4.2448","volume":"33","author":"F. Calimeri","year":"2012","unstructured":"Calimeri, F., Ianni, G., Krennwallner, T., Ricca, F.: The Answer Set Programming Competition. AI Mag.\u00a033(4), 114\u2013118 (2012)","journal-title":"AI Mag."},{"key":"23_CR4","first-page":"1","volume":"FirstView","author":"F. Calimeri","year":"2012","unstructured":"Calimeri, F., Ianni, G., Ricca, F.: The third open answer set programming competition. Theor. Pract. Log. Prog., FirstView, 1\u201319 (2012), doi:10.1017\/S1471068412000105","journal-title":"Theor. Pract. Log. Prog."},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Couvares, P., Kosar, T., Roy, A., Weber, J., Wenger, K.: Workflow Management in Condor. In: Workflows for e-Science, pp. 357\u2013375. Springer (2007)","DOI":"10.1007\/978-1-84628-757-2_22"},{"key":"23_CR6","unstructured":"Collaboratory on Experimental Evaluation of Software and Systems in Computer Science (2012), http:\/\/evaluate.inf.usi.ch\/"},{"key":"23_CR7","unstructured":"The software of the seventh international planning competition (IPC) (2011), http:\/\/www.plg.inf.uc3m.es\/ipc2011-deterministic\/FrontPage\/Software"},{"issue":"1","key":"23_CR8","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1609\/aimag.v33i1.2395","volume":"33","author":"M. J\u00e4rvisalo","year":"2012","unstructured":"J\u00e4rvisalo, M., Le Berre, D., Roussel, O., Simon, L.: The International SAT Solver Competitions. AI Mag.\u00a033(1), 89\u201392 (2012)","journal-title":"AI Mag."},{"key":"23_CR9","unstructured":"Klebanov, V., Beckert, B., Biere, A., Sutcliffe, G. (eds.): Proceedings 1st Int\u2019l Workshop on Comparative Empirical Evaluation of Reasoning Systems, vol.\u00a0873. CEUR-WS.org (2012)"},{"key":"23_CR10","unstructured":"Papadimitriou, C.H.: Computational complexity. Addison-Wesley (1994)"},{"key":"23_CR11","unstructured":"Peschiera, C., Pulina, L., Tacchella, A.: Designing a solver competition: the QBFEVAL\u201910 case study. In: Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions (EMS+QMS) 2010. EPiC, vol.\u00a06, pp. 19\u201332. EasyChair (2012)"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"139","DOI":"10.3233\/SAT190083","volume":"7","author":"O. Roussel","year":"2011","unstructured":"Roussel, O.: Controlling a solver execution with the runsolver tool. J. Sat.\u00a07, 139\u2013144 (2011)","journal-title":"J. Sat."},{"key":"23_CR13","unstructured":"Stump, A., Sutcliffe, G., Tinelli, C.: Introducing StarExec: a cross-community infrastructure for logic solving. In: Klebanov, et al. (eds.) [9], p. 2"},{"issue":"4","key":"23_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/s10817-009-9143-8","volume":"43","author":"G. Sutcliffe","year":"2009","unstructured":"Sutcliffe, G.: The TPTP problem library and associated infrastructure. J. Autom. Reasoning\u00a043(4), 337\u2013362 (2009)","journal-title":"J. Autom. Reasoning"},{"issue":"2-4","key":"23_CR15","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1002\/cpe.938","volume":"17","author":"D. Thain","year":"2005","unstructured":"Thain, D., Tannenbaum, T., Livny, M.: Distributed Computing in Practice: The Condor Experience. Concurrency Computat. Pract. Exper.\u00a017(2-4), 323\u2013356 (2005)","journal-title":"Concurrency Computat. Pract. Exper."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T22:44:18Z","timestamp":1596494658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}