{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:26:18Z","timestamp":1725470778113},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540396253"},{"type":"electronic","value":"9783540396277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853886_45","type":"book-chapter","created":{"date-parts":[[2006,9,13]],"date-time":"2006-09-13T12:40:30Z","timestamp":1158151230000},"page":"494-497","source":"Crossref","is-referenced-by-count":6,"title":["The QBFEVAL Web Portal"],"prefix":"10.1007","author":[{"given":"Massimo","family":"Narizzano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Pulina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"45_CR1","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/SAT190019","volume":"2","author":"M. Narizzano","year":"2006","unstructured":"Narizzano, M., Pulina, L., Tacchella, A.: The third QBF solvers comparative evaluation. Journal on Satisfiability, Boolean Modeling and Computation\u00a02, 145\u2013164 (2006), Available on-line at: http:\/\/jsat.ewi.tudelft.nl\/","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"45_CR2","unstructured":"Giunchiglia, E., Narizzano, M., Tacchella, A.: Quantified Boolean Formulas satisfiability library (QBFLIB) (2001), www.qbflib.org"},{"key":"45_CR3","unstructured":"Eckerson, W.W.: Three Tier Client\/Server Architecture: Achieving Scalability, Performance, and Efficiency in Client Server Applications. Open Information Systems\u00a03 (1995)"},{"key":"45_CR4","unstructured":"Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web Services Architecture. W3C Working Group Note (February 2004)"},{"key":"45_CR5","unstructured":"Sutcliffe, G., Suttner, C.: The tptp problem library for automated theorem proving (2006-6-19), Available from: http:\/\/www.cs.miami.edu\/~tptp\/"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"Simon, L., Chatalic, P.: SATEx: a Web-based Framework for SAT Experimentation. In: Workshop on Theory and Applications of Satisfiability Testing (2001)","DOI":"10.1016\/S1571-0653(04)00318-X"},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"Le Berre, D., Simon, L.: The SAT Competition (2006-6-2), http:\/\/www.satcompetition.org","DOI":"10.3233\/SAT190013"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853886_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,18]],"date-time":"2020-04-18T02:19:17Z","timestamp":1587176357000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853886_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540396253","9783540396277"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/11853886_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}