{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,5]],"date-time":"2026-05-05T04:16:49Z","timestamp":1777954609334,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":58,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2427318"],"award-info":[{"award-number":["2427318"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,16]]},"DOI":"10.1145\/3694906.3743355","type":"proceedings-article","created":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T16:19:56Z","timestamp":1752682796000},"page":"587-592","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Brief Announcement: A Novel Integrated Parallel Accelerator for an Irregular Killer App"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-9562-9567","authenticated-orcid":false,"given":"Yuhao","family":"Song","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, Maryland, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0236-4464","authenticated-orcid":false,"given":"Manoj","family":"Franklin","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, Maryland, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0713-2674","authenticated-orcid":false,"given":"Uzi","family":"Vishkin","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, Maryland, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09284-3_15"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213018400018"},{"key":"e_1_3_2_1_3_1","volume-title":"Mesh-of-Trees and Alternative Interconnection Networks for Single Chip Parallel Processing (Extended Abstract). (06","author":"Balkan Aydin","year":"2006","unstructured":"Aydin Balkan, Gang Qu, and Uzi Vishkin. 2006. Mesh-of-Trees and Alternative Interconnection Networks for Single Chip Parallel Processing (Extended Abstract). (06 2006)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2003999"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions. Department of Computer Science","author":"Balyo Tomas","year":"2023","unstructured":"Tomas Balyo, Marijn Heule, Markus Iser, Matti J\u00e4rvisalo, and Martin Suda (Eds.). 2023. Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions. Department of Computer Science, University of Helsinki, Finland."},{"key":"e_1_3_2_1_6_1","volume-title":"PicoSAT and PrecoSAT at SAT Race","author":"Biere Armin","year":"2010","unstructured":"Armin Biere. 2010. Lingeling, Plingeling, PicoSAT and PrecoSAT at SAT Race 2010. https:\/\/api.semanticscholar.org\/CorpusID:1087401"},{"key":"e_1_3_2_1_7_1","volume-title":"Plingeling and Treengeling Entering the SAT Competition","author":"Biere Armin","year":"2013","unstructured":"Armin Biere. 2013. Lingeling, Plingeling and Treengeling Entering the SAT Competition 2013. https:\/\/api.semanticscholar.org\/CorpusID:972178"},{"key":"e_1_3_2_1_8_1","volume-title":"T REENGELING and Y AL SAT Entering the SAT Competition","author":"Biere Armin","year":"2018","unstructured":"Armin Biere. 2018. P LINGELING, T REENGELING and Y AL SAT Entering the SAT Competition 2018. https:\/\/api.semanticscholar.org\/CorpusID:59470158"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","unstructured":"Guy Blelloch. 2011. NESL. Springer US Boston MA 1278--1283. doi:10.1007\/978-0-387-09766-4_225","DOI":"10.1007\/978-0-387-09766-4_225"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.42122"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/209936.209958"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455518.1455522"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2016.2616357"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3649835"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1080\/0952813X.2014.954274"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391669"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"e_1_3_2_1_19_1","volume-title":"Constraint Processing","author":"Dechter Rina","unstructured":"Rina Dechter. 2003. Constraint Processing. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470639"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190014"},{"key":"e_1_3_2_1_22_1","volume-title":"PaInleSS: A Framework for Parallel SAT Solving. In International Conference on Theory and Applications of Satisfiability Testing. https:\/\/api.semanticscholar.org\/CorpusID:32448463","author":"Frioux Ludovic Le","year":"2017","unstructured":"Ludovic Le Frioux, Souheib Baarir, Julien Sopena, and Fabrice Kordon. 2017. PaInleSS: A Framework for Parallel SAT Solving. In International Conference on Theory and Applications of Satisfiability Testing. https:\/\/api.semanticscholar.org\/CorpusID:32448463"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_25"},{"key":"e_1_3_2_1_24_1","unstructured":"Hironori Fujii and Noriyuki Fujimoto. 2012. GPU Acceleration of BCP Procedure for SAT Algorithms. https:\/\/api.semanticscholar.org\/CorpusID:60348757"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1063\/1.4981999"},{"key":"e_1_3_2_1_26_1","unstructured":"Hariprasadh Govindasamy Babak Esfandiari and Paulo Garcia. 2023. FPGAs (Can Get Some) SATisfaction. arXiv:2312.11279 [cs.AR] https:\/\/arxiv.org\/abs\/2312.11279"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt:20060221"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/11757283_5"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v34i2.2450"},{"key":"e_1_3_2_1_30_1","volume-title":"Computer architecture: a quantitative approach (6th. ed.)","author":"Hennessy John L","unstructured":"John L Hennessy and David A Patterson. 2017. Computer architecture: a quantitative approach (6th. ed.). Morgan Kaufmann Publishers."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3140587.3062354"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34188-5_8"},{"key":"e_1_3_2_1_33_1","volume-title":"Decision Procedures: An Algorithmic Point of View","author":"Kroening Daniel","year":"2018","unstructured":"Daniel Kroening and Ofer Strichman. 2018. Decision Procedures: An Algorithmic Point of View (2nd ed.). Springer. https:\/\/www.decision-procedures.org\/","edition":"2"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901919"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-007-9084-z"},{"key":"e_1_3_2_1_36_1","unstructured":"Jason Lowe-Power Abdul Mutaal Ahmad Ayaz Akram Mohammad Alian Rico Amslinger Matteo Andreozzi Adri\u00e0 Armejach Nils Asmussen Brad Beckmann Srikant Bharadwaj Gabe Black Gedare Bloom Bobby R. Bruce Daniel Rodrigues Carvalho Jeronimo Castrillon Lizhong Chen Nicolas Derumigny Stephan Diestelhorst Wendy Elsasser Carlos Escuin Marjan Fariborz Amin Farmahini-Farahani Pouya Fotouhi Ryan Gambord Jayneel Gandhi Dibakar Gope Thomas Grass Anthony Gutierrez Bagus Hanindhito Andreas Hansson Swapnil Haria Austin Harris Timothy Hayes Adrian Herrera Matthew Horsnell Syed Ali Raza Jafri Radhika Jagtap Hanhwi Jang Reiley Jeyapaul Timothy M. Jones Matthias Jung Subash Kannoth Hamidreza Khaleghzadeh Yuetsu Kodama Tushar Krishna Tommaso Marinelli Christian Menard Andrea Mondelli Miquel Moreto Tiago M\u00fcck Omar Naji Krishnendra Nathella Hoa Nguyen Nikos Nikoleris Lena E. Olson Marc Orr Binh Pham Pablo Prieto Trivikram Reddy Alec Roelke Mahyar Samani Andreas Sandberg Javier Setoain Boris Shingarov Matthew D. Sinclair Tuan Ta Rahul Thakur Giacomo Travaglini Michael Upton Nilay Vaish Ilias Vougioukas William Wang Zhengrong Wang Norbert Wehn Christian Weis David A. Wood Hongil Yoon and \u00c9der F. Zulian. 2020. The gem5 Simulator: Version 20.0+. arXiv:2007.03152 [cs.AR] https:\/\/arxiv.org\/abs\/2007.03152"},{"key":"e_1_3_2_1_37_1","volume-title":"Camir Ricketts, Khaledur Rahman, Ehsan Haghshenas, Daniel N Seidman, Faraz Hach, Iman Hajirasouliha, and S. Cenk Sahinalp.","author":"Maliki\u0107 Salem","year":"2018","unstructured":"Salem Maliki\u0107, Simone Ciccolella, Farid Rashidi Mehrabadi, Camir Ricketts, Khaledur Rahman, Ehsan Haghshenas, Daniel N Seidman, Faraz Hach, Iman Hajirasouliha, and S. Cenk Sahinalp. 2018. PhISCS - A Combinatorial Approach for Sub-perfect Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data. bioRxiv (2018). https:\/\/api.semanticscholar.org\/CorpusID:53550998"},{"key":"e_1_3_2_1_38_1","unstructured":"Norbert Manthey. 2011. A More Efficient Parallel Unit Propagation. Technical Report. TU Dresden Knowledge Representation and Reasoning Group."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605925"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2717511"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCS.2010.5547116"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_13"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.86103"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_4"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_53"},{"key":"e_1_3_2_1_47_1","volume-title":"Retrieved","author":"Team TBB","year":"2025","unstructured":"oneTBB development Team. 2025. oneAPI Threading Building Blocks (oneTBB). Retrieved February 25, 2025 from https:\/\/www.threadingbuildingblocks.org\/"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17462-0_2"},{"key":"e_1_3_2_1_49_1","volume-title":"HW-BCP: A Custom Hardware Accelerator for SAT Suitable for Single Chip Implementation for Large Benchmarks. In 2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC). 29--34","author":"Park Soowang","unstructured":"Soowang Park, Jae-Won Nam, and Sandeep K. Gupta. 2021. HW-BCP: A Custom Hardware Accelerator for SAT Suitable for Single Chip Implementation for Large Benchmarks. In 2021 26th Asia and South Pacific Design Automation Conference (ASP-DAC). 29--34."},{"key":"e_1_3_2_1_50_1","volume-title":"Optimization in SMT with L\u0100 (Q) Cost Functions","author":"Sebastiani Roberto","unstructured":"Roberto Sebastiani and Silvia Tomasi. 2012. Optimization in SMT with L\u0100 (Q) Cost Functions. In Automated Reasoning, Bernhard Gramlich, Dale Miller, and Uli Sattler (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 484--498."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","unstructured":"Yuhao Song Manoj Franklin and Uzi Vishkin. 2025. A Novel Integrated Parallel Accelerator for an Irregular Killer App. https:\/\/drum.lib.umd.edu\/handle\/1903\/33943. doi:10.13016\/SJJG-N459 University of Maryland Institutional Repository (DRUM).","DOI":"10.13016\/SJJG-N459"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640405"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629643"},{"key":"e_1_3_2_1_54_1","unstructured":"Uzi Vishkin. 2003. Prefix sums and an application thereof. Assigned to RAMOT AT TEL AVIV UNIVERSITY LTD.."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/277651.277680"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.12.007"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1366230.1366240"},{"key":"e_1_3_2_1_58_1","volume-title":"Dally","author":"Zhu Chenzhuo","year":"2023","unstructured":"Chenzhuo Zhu, Alexander Rucker, Yawen Wang, and William J. Dally. 2023. SatIn: Hardware for Boolean Satisfiability Inference. ArXiv abs\/2303.02588 (2023). https:\/\/api.semanticscholar.org\/CorpusID:257365741"}],"event":{"name":"SPAA '25: 37th ACM Symposium on Parallelism in Algorithms and Architectures","location":"Portland OR USA","acronym":"SPAA '25","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory","SIGARCH ACM Special Interest Group on Computer Architecture","EATCS European Association for Theoretical Computer Science"]},"container-title":["Proceedings of the 37th ACM Symposium on Parallelism in Algorithms and Architectures"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3694906.3743355","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T19:19:40Z","timestamp":1777922380000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3694906.3743355"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,16]]},"references-count":58,"alternative-id":["10.1145\/3694906.3743355","10.1145\/3694906"],"URL":"https:\/\/doi.org\/10.1145\/3694906.3743355","relation":{},"subject":[],"published":{"date-parts":[[2025,7,16]]},"assertion":[{"value":"2025-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}