{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T05:53:48Z","timestamp":1648878828400},"reference-count":15,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1995,7,1]],"date-time":"1995-07-01T00:00:00Z","timestamp":804556800000},"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":["Information Sciences"],"published-print":{"date-parts":[[1995,7]]},"DOI":"10.1016\/0020-0255(95)00026-l","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T13:32:55Z","timestamp":1053351175000},"page":"175-184","source":"Crossref","is-referenced-by-count":0,"title":["A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes"],"prefix":"10.1016","volume":"85","author":[{"given":"B.","family":"Pradeep","sequence":"first","affiliation":[]},{"given":"C.","family":"Siva Ram Murthy","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0020-0255(95)00026-L_BIB1","article-title":"Automated theorem proving: A quarter century review","volume":"Vol. 29","author":"Loveland","year":"1984"},{"key":"10.1016\/0020-0255(95)00026-L_BIB2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0020-0255(87)90005-3","article-title":"A parallel approach to theorem proving in propositional logic","volume":"41","author":"Chen","year":"1987","journal-title":"Inform. Sci."},{"key":"10.1016\/0020-0255(95)00026-L_BIB3","doi-asserted-by":"crossref","first-page":"983","DOI":"10.1016\/S0167-8191(05)80043-2","article-title":"An efficient procedure for theorem proving in propositional logic on vector computers","volume":"17","author":"Chen","year":"1991","journal-title":"Parallel Computing"},{"issue":"5","key":"10.1016\/0020-0255(95)00026-L_BIB4","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1109\/69.166989","article-title":"Vectorization of a generalized procedure for theorem proving in propositional logic on vector computers","volume":"4","author":"Fang","year":"1992","journal-title":"IEEE Trans. Knowledge and Data Eng."},{"key":"10.1016\/0020-0255(95)00026-L_BIB5","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1109\/12.277290","article-title":"Parallel computations on reconfigurable meshes","volume":"42","author":"Miller","year":"1993","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/0020-0255(95)00026-L_BIB6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0167-8191(93)90052-M","article-title":"Applications of reconfigurable meshes to constant-time computations","volume":"19","author":"Olariu","year":"1993","journal-title":"Parallel Computing"},{"key":"10.1016\/0020-0255(95)00026-L_BIB7","series-title":"Proc. Int. Phoenix Conf. on Computers and Communications","first-page":"472","article-title":"Fundamental data movement for reconfigurable meshes","author":"Olariu","year":"1992"},{"key":"10.1016\/0020-0255(95)00026-L_BIB8","doi-asserted-by":"crossref","first-page":"610","DOI":"10.1016\/0262-8856(92)90035-2","article-title":"Fast computer vision algorithms for reconfigurable meshes","volume":"10","author":"Olariu","year":"1992","journal-title":"Vision and Image Computing"},{"key":"10.1016\/0020-0255(95)00026-L_BIB9","series-title":"Proc. Int. Phoenix Conf. on Computers and Communications","first-page":"30","article-title":"Computing on dynamic buses","author":"Olariu","year":"1993"},{"key":"10.1016\/0020-0255(95)00026-L_BIB10","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1007\/BF01990523","article-title":"Optimal convex hull algorithms on enhanced meshes","volume":"33","author":"Olariu","year":"1993","journal-title":"BIT"},{"issue":"3","key":"10.1016\/0020-0255(95)00026-L_BIB11","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1109\/34.21792","article-title":"Polymorphic-torus architecture for computer vision","volume":"11","author":"Li","year":"1989","journal-title":"IEEE Trans. Pattern Anal. Machine Intell."},{"issue":"2","key":"10.1016\/0020-0255(95)00026-L_BIB12","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1016\/0743-7315(89)90022-1","article-title":"Connection autonomy in SIMD computers: A VLSI implementation","volume":"7","author":"Maresca","year":"1989","journal-title":"J. Parallel and Distributed Computing"},{"issue":"4","key":"10.1016\/0020-0255(95)00026-L_BIB13","doi-asserted-by":"crossref","first-page":"500","DOI":"10.1109\/71.80177","article-title":"Constant time algorithms for transitive closure and some related graph problems on processor arrays with reconfigurable bus systems","volume":"1","author":"Wang","year":"1990","journal-title":"IEEE Trans. Parallel and Distributed Syst."},{"issue":"4","key":"10.1016\/0020-0255(95)00026-L_BIB14","doi-asserted-by":"crossref","first-page":"522","DOI":"10.1109\/21.17370","article-title":"Bus automata, brains, and mental models","volume":"18","author":"Rothstein","year":"1988","journal-title":"IEEE Trans. Syst., Man. Cybern."},{"key":"10.1016\/0020-0255(95)00026-L_BIB15","series-title":"Proc. Int. Conf. on Parallel Processing","first-page":"42","article-title":"Configurational computation: A new computational method on processor arrays with reconfigurable bus systems","author":"Wang","year":"1991"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002002559500026L?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002002559500026L?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T13:50:33Z","timestamp":1555249833000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002002559500026L"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,7]]},"references-count":15,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1995,7]]}},"alternative-id":["002002559500026L"],"URL":"https:\/\/doi.org\/10.1016\/0020-0255(95)00026-l","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[1995,7]]}}}