{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T08:44:59Z","timestamp":1648629899541},"reference-count":11,"publisher":"Elsevier BV","issue":"1-5","license":[{"start":{"date-parts":[[1988,8,1]],"date-time":"1988-08-01T00:00:00Z","timestamp":586396800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1988,8]]},"DOI":"10.1016\/0165-6074(88)90076-2","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:14:48Z","timestamp":1062609288000},"page":"339-346","source":"Crossref","is-referenced-by-count":0,"title":["Logic synthesis with constraints"],"prefix":"10.1016","volume":"24","author":[{"given":"A","family":"Fox","sequence":"first","affiliation":[]},{"given":"C.T","family":"Spracklen","sequence":"additional","affiliation":[]},{"given":"C.P","family":"Jolly","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"no. 4","key":"10.1016\/0165-6074(88)90076-2_BIB1","doi-asserted-by":"crossref","DOI":"10.1109\/TCAD.1986.1270229","article-title":"Synthesis and Optimization Multilevel Logic Under Timing Constraints","volume":"Vol. CAD-5","author":"Bartlett","year":"1986","journal-title":"IEEE Transaction on Computer-Aided Design"},{"key":"10.1016\/0165-6074(88)90076-2_BIB2","series-title":"Proc. Int. Conf. on Circuits and Systems","first-page":"49","article-title":"The decomposition and factorization of Boolean expressions","author":"Brayton","year":"1982"},{"key":"10.1016\/0165-6074(88)90076-2_BIB3","series-title":"Proc. IEEE Int. Conf. on CAD (ICCAD)","first-page":"356","article-title":"Multiple Level Logic Optimization System","author":"Brayton","year":"1986"},{"key":"10.1016\/0165-6074(88)90076-2_BIB4","series-title":"Proc. NATO ASI on Logic Synthesis and Silicon Compilation for VLSI","article-title":"Algorithms For Multi-Level Logic Synthesis And Organization","author":"Brayton","year":"1986"},{"key":"10.1016\/0165-6074(88)90076-2_BIB5","series-title":"Proc. IEEE Int. Conf. on CAD (ICCAD)","article-title":"Multiple Level Logic Optimization and Rectangular Covering Problem","author":"Brayton","year":"1987"},{"key":"10.1016\/0165-6074(88)90076-2_BIB6","series-title":"Programming in Prolog","author":"Clocksin","year":"1984"},{"key":"10.1016\/0165-6074(88)90076-2_BIB7","series-title":"Int. Workshop on Logic Synthesis","article-title":"HALMA: A Program for Logic Synthesis Considering Application-Specific Constraints","author":"Pirsch","year":"1987"},{"key":"10.1016\/0165-6074(88)90076-2_BIB8","unstructured":"D. Rees and D. Lake, \u201cA CMOS VLSI Design Methodology\u201d, Faichild Semiconductor Internal Technical Report."},{"key":"10.1016\/0165-6074(88)90076-2_BIB9","series-title":"Int. Workshop on Logic Synthesis","article-title":"Logic Optimization with Technology and Delay in Mind","author":"Theeuwen","year":"1987"},{"key":"10.1016\/0165-6074(88)90076-2_BIB10","article-title":"Warplan:A System For Generating Plans","author":"Warren","year":"1974"},{"key":"10.1016\/0165-6074(88)90076-2_BIB11","unstructured":"M. E. Hofmann. \u201cAutomated Synthesis Of Multi-Level Combinational Logic In CMOS Technology\u201d. PhD Thesis, U.C. Berkeley reference UCB\/ERL M85\/53."}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607488900762?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0165607488900762?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T09:55:22Z","timestamp":1585130122000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0165607488900762"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,8]]},"references-count":11,"journal-issue":{"issue":"1-5","published-print":{"date-parts":[[1988,8]]}},"alternative-id":["0165607488900762"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(88)90076-2","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1988,8]]}}}