{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:16:28Z","timestamp":1725488188012},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665496"},{"type":"electronic","value":"9783540481584"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48158-3_67","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:51:25Z","timestamp":1186426285000},"page":"541-548","source":"Crossref","is-referenced-by-count":0,"title":["Using PVM for Distributed Logic Minimization in a Network of Computers"],"prefix":"10.1007","author":[{"given":"Luis","family":"Parrilla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julio","family":"Ortega","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Lloris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,4,19]]},"reference":[{"key":"67_CR1","unstructured":"Sasao, T.: Representation of logic functions using EXOR operators. Proc. IFIP WG 10.5 (Reed-Muller\u2019 95). Makuhari, Chiba (Japan), (1995), 11\u201320."},{"issue":"1","key":"67_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/43.559327","volume":"16","author":"R. Drechsler","year":"1997","unstructured":"Drechsler, R., and Becker, B.: Sympathy: Fast Exact Minimization of Fixed Polarity Reed-Muller Expression for Symmetric Functions. IEEE Trans. on Computer-Aided Design, 16,1 (1997), 1\u20135.","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"67_CR3","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R. and Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Co. San Francisco. (1979)."},{"issue":"1","key":"67_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1049\/ip-cdt:19990242","volume":"146","author":"L. Parrilla","year":"1999","unstructured":"Parrilla, L., Ortega, J., and Lloris, A.: Non-Deterministic AND-EXOR Minimization by Using Rewrite Rules and Simulated Annealing. IEE Procedings Computer and Digital Techniques. 146,1, (1999), 1\u20138.","journal-title":"IEE Procedings Computer and Digital Techniques"},{"issue":"5","key":"67_CR5","doi-asserted-by":"publisher","first-page":"568","DOI":"10.1109\/12.223676","volume":"42","author":"D. Brand","year":"1993","unstructured":"Brand, D., and Sasao, T.: Minimization of AND-EXOR Expressions Using Rewrite Rules. IEEE Trans. on Computers, 42, 5 (1993), 568\u2013576.","journal-title":"IEEE Trans. on Computers"},{"issue":"22","key":"67_CR6","doi-asserted-by":"publisher","first-page":"1838","DOI":"10.1049\/el:19941276","volume":"30","author":"L. Parrilla","year":"1994","unstructured":"Parrilla, L., Ortega, J., and Lloris, A.: Using simulated annealing in the minimisation of AND-EXOR functions. Electronic Letters, 30,22 (1994), 1838\u20131839.","journal-title":"Electronic Letters"},{"key":"67_CR7","doi-asserted-by":"crossref","unstructured":"Geist, A., Beguelin, A., Pongarra, J., Jiang, W., Mancheck, R., and Sunderam, V.: PVM: Parallel Virtual Machine. The MIT Press, (1994).","DOI":"10.7551\/mitpress\/5712.001.0001"},{"key":"67_CR8","unstructured":"Aarts, E., and Korts, J.: Simulated Annealing and Boltzmann machines: A stochastic approach to combinatorial optimization and neural computing,. Wiley & Sons, (1990)."},{"key":"67_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1109\/71.80128","volume":"1","author":"P. Banerjee","year":"1990","unstructured":"Banerjee, P., Jones, M.H., and Sargent, J.S.: Parallel simulated annealing algorithms for standard cell placement on hypercube multiprocessors IEEE Trans. Parallel and Distributed Systems, 1, (1990), 91\u2013106.","journal-title":"IEEE Trans. Parallel and Distributed Systems"},{"key":"67_CR10","unstructured":"Distante, F., Piuri, V.: Optimum behavioral test procedure for VLSI devices: a simulated annealing approach Proc. IEEE Int. Conf. on Computer Design, Port Chester, (1986), 31\u201335."},{"key":"67_CR11","unstructured":"Leong, H.W.: A new algorithm for gate matrix layout. Proc. IEEE Int. Conf. on Computer-Aided Design, Santa Clara, (1986), 316\u2013319."},{"issue":"5","key":"67_CR12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1109\/2.144393","volume":"25","author":"D. Abramson","year":"1992","unstructured":"Abramson, D.: A very high speed architecture for Simulated Annealing IEEE Computer, 25,5 (1992), 27\u201336.","journal-title":"IEEE Computer"},{"issue":"8","key":"67_CR13","doi-asserted-by":"publisher","first-page":"827","DOI":"10.1109\/43.57790","volume":"9","author":"P. Roussel-Ragot","year":"1990","unstructured":"Roussel-Ragot, P., and Dreyfus, G.: A Problem Independent Parallel Implementation of Simulated Annealing: Models and Experiments IEEE Trans. on Computer-Aided Design, 9,8 (1990), 827\u2013835.","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"4","key":"67_CR14","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1109\/71.97904","volume":"2","author":"E.E. Witte","year":"1991","unstructured":"Witte, E.E., Chamberlain, R.D., and Franklin, M.A.: Parallel simulated annealing using speculative computation. IEEE Trans. on Parallel and Distributed Systems, 2,4 (April 1991), 483\u2013494.","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"issue":"10","key":"67_CR15","doi-asserted-by":"publisher","first-page":"997","DOI":"10.1109\/71.473510","volume":"6","author":"A. Shon","year":"1995","unstructured":"Shon, A.: Parallel N-ary Speculative Computation of Simulated Annealing. IEEE Trans. on Parallel and Distributed Systems, 6,10 (1995), 997\u20131005.","journal-title":"IEEE Trans. on Parallel and Distributed Systems"},{"issue":"10","key":"67_CR16","first-page":"993","volume":"7","author":"S.-Y. Lee","year":"1996","unstructured":"Lee, S.-Y. and Lee, K.G.: Synchronous and Asynchronous Parallel Simulated Annealing with Multiple Markov Chains. IEEE Trans. on PDS, 7,10 (1996), 993\u20131007.","journal-title":"IEEE Trans. on PDS"},{"issue":"6","key":"67_CR17","doi-asserted-by":"publisher","first-page":"582","DOI":"10.1109\/TC.1983.1676280","volume":"C-32","author":"E. Horowitz","year":"1983","unstructured":"Horowitz, E. and Zorat, A.: Divide and Conquer for Parallel Processing IEEE Trans. on Computers, C-32,6 (1983), 582\u2013585.","journal-title":"IEEE Trans. on Computers"},{"issue":"1","key":"67_CR18","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/71.262590","volume":"4","author":"M.K. Yang","year":"1994","unstructured":"Yang, M.K., and Das, C.R.: Evaluation of Parallel Branch-and-Bound Algorithm on a Class of Multiprocessors IEEE Trans. on Parallel and Distrubuted Systems, 4,1 (1994), 74\u201386.","journal-title":"IEEE Trans. on Parallel and Distrubuted Systems"},{"key":"67_CR19","unstructured":"Lloris, A., G\u00f3mez, J.F., and Rom\u00e1n, R.: Entropic minimization of multiple-valued functions. In IEEE Proc. of the Int. Symp. on Multiple Valued Logic, (1993), 24\u201328."}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Parallel Virtual Machine and Message Passing Interface"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48158-3_67","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T00:25:40Z","timestamp":1550708740000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48158-3_67"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665496","9783540481584"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-48158-3_67","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}