{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:12Z","timestamp":1749124092062},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635765"},{"type":"electronic","value":"9783540696018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63576-9_109","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:30:50Z","timestamp":1330299050000},"page":"207-218","source":"Crossref","is-referenced-by-count":7,"title":["Experimental analysis of the computational cost of evaluating Quantified Boolean Formulae"],"prefix":"10.1007","author":[{"given":"Marco","family":"Cadoli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Giovanardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maxco","family":"Schaerf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"19_CR1","unstructured":"J. M. Crawford and L. D. Auton. Experimental results on the crossover point in satisfiability problems. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 21\u201327, 1993."},{"key":"19_CR2","unstructured":"M. Cadoli, A. Giovanardi, E. Giunchiglia, F. Giunchiglia, M. Schaerf, and R. Sebastiani. Experimental analysis of the computational cost of satisfiability checking in logics for commonsense reasoning. Technical Report MRG\/DIST 96-0040, Dipartimento di Informatica, Sistemistica e Telematica, Universit\u00e1 di Genova, July 1996."},{"key":"19_CR3","unstructured":"P. Cheeseman, B. Kanefski, and W. M. Taylor. Where the really hard problem are. In Proceedings of the Twelfth International Joint Conference on Artificial Intelligence (IJCAI-91), pages 163\u2013169, 1991."},{"key":"19_CR4","unstructured":"M. R. Garey and D. S. Johnson. Computers and Intractability, A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, San Francisco, Ca, 1979."},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2:397\u2013425, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"19_CR6","unstructured":"F. Giunchiglia and R. Sebastiani. A SAT-based decision procedure for ALC. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning (KR-96), pages 304\u2013314, 1996."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"T. Hogg, B. A. Hubermann, and C. P. Williams (eds.). Special volume on frontiers of problem solving: Phase transitions and complexity. Artificial Intelligence Journal, 81, 1996.","DOI":"10.1016\/0004-3702(95)00044-5"},{"key":"19_CR8","unstructured":"T. Larrabee and Y. Tsuji. Evidence threshold for random 3CNF formulas. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-93), pages 112\u2013118, 1993."},{"key":"19_CR9","unstructured":"D. Mitchell, B. Selman, and H. Levesque. Hard and easy distributions for SAT problems. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), pages 459\u2013465, 1992."},{"key":"19_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(76)90061-X","volume":"3","author":"L. J. Stockmeyer","year":"1976","unstructured":"L. J. Stockmeyer. The polynomial-time hierarchy. Theoretical Computer Science, 3:1\u201322, 1976.","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","AI*IA 97: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63576-9_109.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:19:05Z","timestamp":1605647945000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63576-9_109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635765","9783540696018"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-63576-9_109","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}