{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:57:00Z","timestamp":1725490620701},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540733676"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73368-3_35","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T22:29:34Z","timestamp":1188426574000},"page":"303-306","source":"Crossref","is-referenced-by-count":15,"title":["BAT: The Bit-Level Analysis Tool"],"prefix":"10.1007","author":[{"given":"Panagiotis","family":"Manolios","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sudarshan K.","family":"Srinivasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daron","family":"Vroon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/11817963_11","volume-title":"Computer Aided Verification, CAV 2006","author":"B. Dutertre","year":"2006","unstructured":"Dutertre, B., de Moura, L.M.: A fast linear-arithmetic solver for DPLL(T). In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 81\u201394. Springer, Heidelberg (2006)"},{"key":"35_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/11527695_15","volume-title":"Theory and Applications of Satisfiability Testing","author":"P. Jackson","year":"2005","unstructured":"Jackson, P., Sheridan, D.: Clause form conversions for boolean circuits. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol.\u00a03542, pp. 183\u2013198. Springer, Heidelberg (2005)"},{"key":"35_CR3","first-page":"863","volume-title":"ICCAD 2005","author":"P. Manolios","year":"2005","unstructured":"Manolios, P., Srinivasan, S.K.: A complete compositional reasoning framework for the efficient verification of pipelined machines. In: ICCAD 2005. International Conference on Computer-Aided Design, pp. 863\u2013870. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"35_CR4","volume-title":"ICCAD 2006","author":"P. Manolios","year":"2006","unstructured":"Manolios, P., Srinivasan, S.K., Vroon, D.: Automatic memory reductions for RTL-level verification. In: ICCAD 2006. ACM-IEEE International Conference on Computer Aided Design, ACM, California (2006)"},{"key":"35_CR5","unstructured":"Manolios, P., Srinivasan, S.K., Vroon, D.: BAT: The Bit-level Analysis Tool (2006), available from \n                    \n                      http:\/\/www.cc.gatech.edu\/~manolios\/bat\/"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Manolios, P., Vroon, D.: Efficient circuit to CNF conversion. In: International Conference on Theory and Applications of Satisfiability Testing (2007)","DOI":"10.1007\/978-3-540-72788-0_3"},{"key":"35_CR7","first-page":"115","volume-title":"Studies in Constructive Mathematics and Mathematical Logic, Part2","author":"G.S. Tseitin","year":"1962","unstructured":"Tseitin, G.S.: On the complexity of derivation in propositional calculus. In: Slisenko, A.O. (ed.) Studies in Constructive Mathematics and Mathematical Logic, Part2, pp. 115\u2013125. Consultants Bureau, New York, London (1962)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73368-3_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:08:33Z","timestamp":1619518113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73368-3_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540733676"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73368-3_35","relation":{},"subject":[]}}