{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T17:10:03Z","timestamp":1737393003338,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540746089"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74610-2_13","type":"book-chapter","created":{"date-parts":[[2007,8,24]],"date-time":"2007-08-24T02:33:31Z","timestamp":1187922811000},"page":"180-194","source":"Crossref","is-referenced-by-count":2,"title":["A Logic Programming Framework for Combinational Circuit Synthesis"],"prefix":"10.1007","author":[{"given":"Paul","family":"Tarau","sequence":"first","affiliation":[]},{"given":"Brenda","family":"Luderman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"13_CR1","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers\u00a035(8), 677\u2013691 (1986), citeseer.ist.psu.edu\/bryant86graphbased.html","journal-title":"IEEE Transactions on Computers"},{"issue":"8","key":"13_CR2","doi-asserted-by":"publisher","first-page":"2791","DOI":"10.1109\/TIT.2005.851743","volume":"51","author":"A. Canteaut","year":"2005","unstructured":"Canteaut, A., Videau, M.: Symmetric boolean functions. IEEE Transactions on Information Theory\u00a051(8), 2791\u20132811 (2005)","journal-title":"IEEE Transactions on Information Theory"},{"key":"13_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-97005-4","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1987","unstructured":"Clocksin, W.F., Mellish, C.S.: Programming in Prolog, 3rd edn. Springer, Heidelberg (1987)","edition":"3"},{"key":"13_CR4","unstructured":"Dietmeyer, D.L.: Logic Design of Digital Systems. Allyn and Bacon (1971)"},{"key":"13_CR5","unstructured":"Drechsler, R., Gunther, W.: Exact Circuit Synthesis. In: International Workshop on Logic Synthesis (1998), http:\/\/citeseer.ist.psu.edu\/drechsler98exact.html"},{"key":"13_CR6","unstructured":"Fruhwirth, T.: Theory and practice of constraint handling rules. J. Logic Programming, 19, 20 (1994), http:\/\/citeseer.ist.psu.edu\/641466.html"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Knuth, D.: The Art of Computer Programming, draft 4 (2006), http:\/\/www.cs.utsa.edu\/~wagner\/knuth\/","DOI":"10.1145\/1283920.1283929"},{"key":"13_CR8","unstructured":"Mishchenko, A., Brayton, R.: A boolean paradigm for multivalued logic synthesis. In: Proc. IgVLS 2002, June, 2002, pp. 173\u2013177 (2002), http:\/\/citeseer.ist.psu.edu\/article\/mishchenko02boolean.html"},{"key":"13_CR9","unstructured":"Mishchenko, A., Sasao, T.: Encoding of Boolean functions and its application to LUT cascade synthesis. In: International Workshop on Logic Synthesis (2002), http:\/\/citeseer.ist.psu.edu\/mishchenko02encoding.html"},{"key":"13_CR10","unstructured":"O\u2019Donnell, J.: Hardware description with recursion equations. In: Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications, NorthHolland, pp. 363\u2013382 (April 1987)"},{"key":"13_CR11","volume-title":"Digital Integrated Circuits: A Design Perspective","author":"J. Rabaey","year":"2003","unstructured":"Rabaey, J., Chandrakasan, A., Nikolic, B.: Digital Integrated Circuits: A Design Perspective. Prentice-Hall, Englewood Cliffs (2003)"},{"key":"13_CR12","unstructured":"Reintjes, P.: Elegant technologies (April 1992), published electronically at http:\/\/z.zhurnal.net\/ElegantTechnologies.pdf"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Riedel, M.: Cyclic Combinational Circuits. In: Ph.D. Dissertation, Caltech (2004), http:\/\/citeseer.ist.psu.edu\/riedel04cyclic.html","DOI":"10.1145\/775832.775875"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Shende, V., Prasad, A., Markov, I., Hayes, J.: Synthesis of reversible logic circuits. In: IEEE Trans. on CAD 22, pp. 710\u2013722 (June 2003), http:\/\/citeseer.ist.psu.edu\/article\/shende03synthesis.html","DOI":"10.1109\/TCAD.2003.811448"},{"key":"13_CR15","unstructured":"Sloane, N.J.A.: A000108, The On-Line Encyclopedia of Integer Sequences (2006), published electronically at http:\/\/www.research.att.com\/~njas\/sequences"},{"key":"13_CR16","unstructured":"Berkeley\u00a0Logic Synthesis and Verification Group. ABC: A System for Sequential Synthesis and Verification, Release 61218 (2006), http:\/\/www.eecs.berkeley.edu\/~alanmi\/abc\/"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74610-2_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T16:42:49Z","timestamp":1737391369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74610-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540746089"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74610-2_13","relation":{},"subject":[]}}