{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:49Z","timestamp":1750306129690,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,7,19]],"date-time":"2017-07-19T00:00:00Z","timestamp":1500422400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,7,19]]},"DOI":"10.1145\/3102304.3102336","type":"proceedings-article","created":{"date-parts":[[2017,9,8]],"date-time":"2017-09-08T19:50:15Z","timestamp":1504900215000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["The Message-Passing Interface and Parallel SAT-Solvers"],"prefix":"10.1145","author":[{"given":"Levis","family":"Zerpa","sequence":"first","affiliation":[{"name":"Yachay Tech, San Miguel de Urcuqui, Imbabura, Ecuador"}]}],"member":"320","published-online":{"date-parts":[[2017,7,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"e_1_3_2_1_2_1","unstructured":"Yuefan Deng. 2013. Applied parallel computing. World Scientific Hackensack New Jersey. Yuefan Deng. 2013. Applied parallel computing. World Scientific Hackensack New Jersey."},{"key":"e_1_3_2_1_3_1","unstructured":"Jack Dongarra. 2016. Report on the Sunway TaihuLight System. PDF). www.netlib.org. Retrieved June 20 (2016). Jack Dongarra. 2016. Report on the Sunway TaihuLight System. PDF). www.netlib.org. Retrieved June 20 (2016)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190063"},{"key":"e_1_3_2_1_5_1","unstructured":"InfiniBand Trade Association. 2016. InfiniBand Architecture Specification Volume 2. (Nov. 2016). Retrieved June 7 2017 from https:\/\/cw.infinibandta.org\/document\/dl\/7141 InfiniBand Trade Association. 2016. InfiniBand Architecture Specification Volume 2. (Nov. 2016). Retrieved June 7 2017 from https:\/\/cw.infinibandta.org\/document\/dl\/7141"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1111683.1111870"},{"key":"e_1_3_2_1_7_1","unstructured":"Mellanox Technologies. 2017. TOP500. (June 2017). Retrieved June 7 2017 from http:\/\/www.mellanox.com\/solutions\/hpc\/top500.php Mellanox Technologies. 2017. TOP500. (June 2017). Retrieved June 7 2017 from http:\/\/www.mellanox.com\/solutions\/hpc\/top500.php"},{"volume-title":"MPI: A Message-Passing Interface Standard-Version 3.1. (June","year":"2015","author":"Interface Forum Message Passing","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Daniel Singer. 2006. Parallel Resolution of the Satisfiability Problem: A Survey. Parallel Combinatorial Optimization (2006) 123--148. Daniel Singer. 2006. Parallel Resolution of the Satisfiability Problem: A Survey. Parallel Combinatorial Optimization (2006) 123--148.","DOI":"10.1002\/9780470053928.ch5"},{"volume-title":"Advanced Computer Science and Information System (ICACSIS), 2011 International Conference. IEEE, 201--206","author":"Peter Steinke Steffen H\u00f6lldobler Julian Stecklina","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Thomas Sterling. 2002. Beowulf Cluster Computing with Linux. The MIT Press Cambridge Massachusetts. Thomas Sterling. 2002. Beowulf Cluster Computing with Linux. The MIT Press Cambridge Massachusetts.","DOI":"10.7551\/mitpress\/1556.001.0001"},{"key":"e_1_3_2_1_12_1","unstructured":"Ewing Lusk William Gropp and Anthony Skjellum. 2014. Using MPI: Portable Parallel Programming with the Message-Passing Interface. The MIT Press Cambridge Massachusetts. Ewing Lusk William Gropp and Anthony Skjellum. 2014. Using MPI: Portable Parallel Programming with the Message-Passing Interface. The MIT Press Cambridge Massachusetts."},{"key":"e_1_3_2_1_13_1","unstructured":"Rajeev Thakur William Gropp Torsten Hoefler and Ewing Lusk. 2014. Using Advanced MPI: Modern Features of the Message-Passing Interface. The MIT Press Cambridge Massachusetts. Rajeev Thakur William Gropp Torsten Hoefler and Ewing Lusk. 2014. Using Advanced MPI: Modern Features of the Message-Passing Interface. The MIT Press Cambridge Massachusetts."}],"event":{"name":"ICFNDS '17: International Conference on Future Networks and Distributed Systems","sponsor":["LABSTICC Labsticc"],"location":"Cambridge United Kingdom","acronym":"ICFNDS '17"},"container-title":["Proceedings of the International Conference on Future Networks and Distributed Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102304.3102336","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3102304.3102336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:37:05Z","timestamp":1750217825000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3102304.3102336"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,19]]},"references-count":13,"alternative-id":["10.1145\/3102304.3102336","10.1145\/3102304"],"URL":"https:\/\/doi.org\/10.1145\/3102304.3102336","relation":{},"subject":[],"published":{"date-parts":[[2017,7,19]]},"assertion":[{"value":"2017-07-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}