{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:56:15Z","timestamp":1725544575573},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540333395"},{"type":"electronic","value":"9783540333401"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11734673_4","type":"book-chapter","created":{"date-parts":[[2006,7,3]],"date-time":"2006-07-03T21:59:04Z","timestamp":1151963944000},"page":"48-59","source":"Crossref","is-referenced-by-count":7,"title":["Relational Approach to Boolean Logic Problems"],"prefix":"10.1007","author":[{"given":"Rudolf","family":"Berghammer","sequence":"first","affiliation":[]},{"given":"Ulf","family":"Milanese","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Asahiro, Y., Iwama, K., Miyano, E.: Random generation of test instances with controlled attributes. In: Johnson, D.S., Trick, M.A. (eds.) Cliques, Coloring, and Satisfiability: The Second DIMACS Implementation Challenge. DIMACS Series on Discr. Math. and Theoret. Comput. Sci. vol.\u00a026, pp. 377\u2013394 (1996)","DOI":"10.1090\/dimacs\/026\/18"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/BFb0053599","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Behnke","year":"1998","unstructured":"Behnke, R., et al.: RelView \u2014 A system for calculation with relations and relational programming. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, pp. 318\u2013321. Springer, Heidelberg (1998)"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Comp. Surveys\u00a024, 293\u2013318 (1992)","journal-title":"ACM Comp. Surveys"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0004-3702(95)00046-1","volume":"81","author":"J.M. Crawford","year":"1996","unstructured":"Crawford, J.M., Auton, L.D.: Experimental results on the crossover point in random 3SAT. Artificial Intelligence\u00a081, 59\u201380 (1996)","journal-title":"Artificial Intelligence"},{"key":"4_CR5","unstructured":"Dantsin, E., Hirsch, E.A.: Algorithms for SAT and upper bounds of their complexity. Electr. Coll. Comp. Compl., Rep. 12 (2001), \n                    \n                      http:\/\/www.eccc.uni-trier.de\/eccc"},{"key":"4_CR6","first-page":"283","volume-title":"SAT 2000","author":"H.H. Hoos","year":"2000","unstructured":"Hoos, H.H., St\u00fctzle, T.: SATLIB: An online resource for research on Sat. In: Gent, I.P., van Maaren, H., Walsh, T. (eds.) SAT 2000, pp. 283\u2013292. IOS Press, Amsterdam (2000)"},{"key":"4_CR7","series-title":"EATCS Texts in Theoret. Comput. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04616-6","volume-title":"Introduction to combinatorial optimization, randomization, approximation, and heuristics","author":"J. Hromkovic","year":"2001","unstructured":"Hromkovic, J.: Algorithms for hard problems. In: Introduction to combinatorial optimization, randomization, approximation, and heuristics. EATCS Texts in Theoret. Comput. Sci., Springer, Heidelberg (2001)"},{"key":"4_CR8","unstructured":"Huth, M.R.A., Ryan, M.D.: Logic in computer science. Cambr. Univ. Press (2000)"},{"key":"4_CR9","unstructured":"Leoniuk, B.: ROBDD-based implementation of relational algebra with applications (in German). Ph.D.\u00a0thesis, Inst. f\u00fcr Inf. und Prak. Math., Univ. Kiel (2001)"},{"key":"4_CR10","unstructured":"Lind-Nielson, J.: BuDDy, a binary decision diagram package, version 2.2. Techn. Univ. of Denmark (2003), \n                    \n                      http:\/\/www.itu.dk\/research\/buddy"},{"key":"4_CR11","unstructured":"Milanese, U.: On the implementation of a ROBDD-based tool for the manipulation and visualization of relations (in German). Ph.D.\u00a0thesis, Inst. f\u00fcr Inf. und Prak. Math., Univ. Kiel (2003)"},{"key":"4_CR12","first-page":"449","volume":"13","author":"P. Purdam","year":"1990","unstructured":"Purdam, P.: A survey of average time analysis of satisfiability algorithms. J. of Inf. Processing\u00a013, 449\u2013455 (1990)","journal-title":"J. of Inf. Processing"},{"key":"4_CR13","series-title":"EATCS Monographs on Theoret. Comput. Sci.","volume-title":"Discrete Mathematics for Computer Scientists","author":"G. Schmidt","year":"1993","unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and graphs. In: Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoret. Comput. Sci., Springer, Heidelberg (1993)"},{"key":"4_CR14","unstructured":"Somenzi, F.: CUDD: CU decision diagram package, release 2.3.1. Univ. of Colorado at Boulder (2001), \n                    \n                      http:\/\/www.vlsi.colorado.edu\/~fabio\/CUDD"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A. Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. J. Symbolic Logic\u00a06, 73\u201389 (1941)","journal-title":"J. Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Relational Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11734673_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T04:42:04Z","timestamp":1552365724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11734673_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540333395","9783540333401"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11734673_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}