{"id":"https://openalex.org/W2587833204","doi":"https://doi.org/10.1109/reconfig.2016.7857150","title":"An effective probability distribution SAT solver on reconfigurable hardware","display_name":"An effective probability distribution SAT solver on reconfigurable hardware","publication_year":2016,"publication_date":"2016-11-01","ids":{"openalex":"https://openalex.org/W2587833204","doi":"https://doi.org/10.1109/reconfig.2016.7857150","mag":"2587833204"},"language":"en","primary_location":{"id":"doi:10.1109/reconfig.2016.7857150","is_oa":false,"landing_page_url":"https://doi.org/10.1109/reconfig.2016.7857150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 International Conference on ReConFigurable Computing and FPGAs (ReConFig)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064325326","display_name":"Ali Asgar Sohanghpurwala","orcid":"https://orcid.org/0000-0003-3628-9590"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ali Asgar Sohanghpurwala","raw_affiliation_strings":["Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University"],"affiliations":[{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111933984","display_name":"Peter Athanas","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter Athanas","raw_affiliation_strings":["Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University"],"affiliations":[{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5064325326"],"corresponding_institution_ids":["https://openalex.org/I859038795"],"apc_list":null,"apc_paid":null,"fwci":0.6969,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.76947952,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9909999966621399,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9879999756813049,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8150811791419983},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.7892569899559021},{"id":"https://openalex.org/keywords/porting","display_name":"Porting","score":0.6744775772094727},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6736384034156799},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.6722972393035889},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5681413412094116},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.43477416038513184},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40245360136032104},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.324521541595459},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2877148389816284}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8150811791419983},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.7892569899559021},{"id":"https://openalex.org/C106251023","wikidata":"https://www.wikidata.org/wiki/Q851989","display_name":"Porting","level":3,"score":0.6744775772094727},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6736384034156799},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.6722972393035889},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5681413412094116},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.43477416038513184},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40245360136032104},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.324521541595459},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2877148389816284},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/reconfig.2016.7857150","is_oa":false,"landing_page_url":"https://doi.org/10.1109/reconfig.2016.7857150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 International Conference on ReConFigurable Computing and FPGAs (ReConFig)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W18004407","https://openalex.org/W167199924","https://openalex.org/W773259069","https://openalex.org/W1518705996","https://openalex.org/W1667614912","https://openalex.org/W1711753553","https://openalex.org/W1950282396","https://openalex.org/W1966863253","https://openalex.org/W1979411114","https://openalex.org/W2044560939","https://openalex.org/W2050918004","https://openalex.org/W2057361103","https://openalex.org/W2069489579","https://openalex.org/W2069523538","https://openalex.org/W2085156669","https://openalex.org/W2102791214","https://openalex.org/W2122601020","https://openalex.org/W2125762847","https://openalex.org/W2126662120","https://openalex.org/W2142785340","https://openalex.org/W4237740194","https://openalex.org/W4285719527","https://openalex.org/W6600759232","https://openalex.org/W6637229586","https://openalex.org/W6678915896"],"related_works":["https://openalex.org/W4386614288","https://openalex.org/W2115480761","https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W2920896101","https://openalex.org/W1913543287","https://openalex.org/W2014111643"],"abstract_inverted_index":{"Boolean":[0],"Satisfiability":[1],"(SAT)":[2],"is":[3,21],"an":[4],"important":[5],"problem":[6,20],"both":[7],"theoretically":[8],"and":[9,27,32,63,79,88,148],"for":[10,68,114],"a":[11,103],"variety":[12],"of":[13,35,90,106,117,136,154],"practical":[14],"applications.":[15],"While":[16,39],"the":[17,84,107,118,121,126,134,151],"general":[18],"SAT":[19,140],"NP":[22],"complete,":[23],"advanced":[24],"solver":[25,94],"algorithms":[26],"heuristics":[28],"can":[29],"provide":[30],"fast":[31],"efficient":[33],"solving":[34],"otherwise":[36],"intractable":[37],"problems.":[38,158],"much":[40],"advancement":[41],"has":[42],"been":[43],"made":[44],"with":[45,97,142],"Conflict":[46],"Driven":[47],"Clause":[48],"Learning":[49],"(CDCL)":[50],"based":[51],"sequential":[52],"solvers,":[53],"Stochastic":[54],"Local":[55],"Search":[56],"(SLS)":[57],"solvers":[58,73],"such":[59,157],"as":[60],"WalkSAT,":[61],"Sparrow":[62],"probSAT":[64,108,155],"have":[65],"proven":[66],"effective":[67],"certain":[69],"instance":[70],"types.":[71],"SLS":[72],"are":[74],"well":[75],"suited":[76],"to":[77,83],"parallelization":[78],"hardware":[80,104],"implementation":[81,105,153],"due":[82],"simplified":[85],"control":[86],"flow":[87],"lack":[89],"data":[91],"dependencies":[92],"between":[93,144],"instances":[95],"started":[96],"different":[98],"seeds.":[99],"This":[100],"paper":[101],"presents":[102],"algorithm":[109],"using":[110],"High-Level":[111],"Synthesis":[112],"(HLS)":[113],"rapid":[115],"porting":[116],"design":[119],"from":[120],"original":[122],"C":[123],"implementation.":[124],"Specifically,":[125],"presented":[127],"approach":[128],"shows":[129],"very":[130],"strong":[131],"performance":[132],"on":[133,156],"class":[135],"small,":[137],"but":[138],"difficult":[139],"problems":[141],"speedups":[143],"89-828x":[145],"over":[146,150],"MiniSAT":[147],"5-99x":[149],"software":[152]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-25T21:42:39.735039","created_date":"2025-10-10T00:00:00"}