{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:51:40Z","timestamp":1725475900688},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676973"},{"type":"electronic","value":"9783540450085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_9","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:43:15Z","timestamp":1167439395000},"page":"77-81","source":"Crossref","is-referenced-by-count":1,"title":["Evaluating *SAT on TANCS 2000 Benchmarks"],"prefix":"10.1007","author":[{"given":"Armando","family":"Tacchella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic an Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic - an Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","volume-title":"Automated Deduction - Cade-13","author":"F. Giunchiglia","year":"1996","unstructured":"Giunchiglia, F., Sebastiani, R.: Building decision procedures for modal logics from propositional decision procedures - the case study of modal K. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol.\u00a01104. Springer, Heidelberg (1996)"},{"key":"9_CR3","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/3-540-63104-6_28","volume-title":"Automated Deduction - CADE-14","author":"H. Zhang","year":"1997","unstructured":"Zhang, H.: SATO: An efficient propositional prover. In: McCune, W. (ed.) CADE 1997. LNCS (LNAI), vol.\u00a01249, pp. 272\u2013275. Springer, Heidelberg (1997)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Giunchiglia, E., Giunchiglia, F., Tacchella, A.: SAT-Based Decision Procedures for Classical Modal Logics. Journal of Automated Reasoning (2000) (to appear)","DOI":"10.1007\/3-540-46238-4_9"},{"key":"9_CR5","unstructured":"Tacchella, A.: *sat system description. In: Lambrix, P., Borgida, A., Lenzerini, M., M\u00f6ller, R., Patel-Schneider, P. (eds.) Collected Papers from the International Description Logics Workshop (DL 1999). CEUR (July 1999)"},{"key":"9_CR6","unstructured":"Tacchella, A.: *sat User\u2019s Manual (1999)"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0747-7171(86)80028-1","volume":"2","author":"D.A. Plaisted","year":"1986","unstructured":"Plaisted, D.A., Greenbaum, S.: A Structure-preserving Clause Form Translation. Journal of Symbolic Computation\u00a02, 293\u2013304 (1986)","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722086_20","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"E. Giunchiglia","year":"2000","unstructured":"Giunchiglia, E., Tacchella, A.: A Subset-matching Size-bounded Cache for Satisfiaability in Modal Logics. In: Dyckhoff, R. (ed.) TABLEAUX 2000. LNCS, vol.\u00a01847. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722086_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:47:13Z","timestamp":1556020033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/10722086_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}