{"id":"https://openalex.org/W2575928246","doi":"https://doi.org/10.3233/978-1-61499-621-7-525","title":"Leveraging FPGA clusters for SAT computations","display_name":"Leveraging FPGA clusters for SAT computations","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2575928246","doi":"https://doi.org/10.3233/978-1-61499-621-7-525","mag":"2575928246"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-621-7-525","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-621-7-525","pdf_url":null,"source":{"id":"https://openalex.org/S4210175178","display_name":"Advances in parallel computing","issn_l":"0927-5452","issn":["0927-5452","1879-808X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Parallel Computing","raw_type":"book-chapter"},"type":"book-chapter","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/A5023161900","display_name":"Michal Kouril","orcid":"https://orcid.org/0000-0002-4786-7934"},"institutions":[{"id":"https://openalex.org/I1285204247","display_name":"Cincinnati Children's Hospital Medical Center","ror":"https://ror.org/01hcyya48","country_code":"US","type":"healthcare","lineage":["https://openalex.org/I1285204247"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kouril Michal","raw_affiliation_strings":["Cincinnati Children's Hospital Medical Center, Cincinnati, United States"],"affiliations":[{"raw_affiliation_string":"Cincinnati Children's Hospital Medical Center, Cincinnati, United States","institution_ids":["https://openalex.org/I1285204247"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5023161900"],"corresponding_institution_ids":["https://openalex.org/I1285204247"],"apc_list":null,"apc_paid":null,"fwci":0.4988,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.71851737,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"525","last_page":"532"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9861999750137329,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9832000136375427,"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"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9822999835014343,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.7114465236663818},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.690168023109436},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6432303786277771},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6322160959243774},{"id":"https://openalex.org/keywords/computational-science","display_name":"Computational science","score":0.40366074442863464},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3239936828613281},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.25599992275238037},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17452728748321533}],"concepts":[{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.7114465236663818},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.690168023109436},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6432303786277771},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6322160959243774},{"id":"https://openalex.org/C459310","wikidata":"https://www.wikidata.org/wiki/Q117801","display_name":"Computational science","level":1,"score":0.40366074442863464},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3239936828613281},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.25599992275238037},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17452728748321533}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-61499-621-7-525","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-621-7-525","pdf_url":null,"source":{"id":"https://openalex.org/S4210175178","display_name":"Advances in parallel computing","issn_l":"0927-5452","issn":["0927-5452","1879-808X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Advances in Parallel Computing","raw_type":"book-chapter"},{"id":"mag:2575928246","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/parco/parco2015.html#Kouril15","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Parallel Computing","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2111241003","https://openalex.org/W2355315220","https://openalex.org/W4200391368","https://openalex.org/W2210979487","https://openalex.org/W2316202402","https://openalex.org/W2074043759","https://openalex.org/W1967938402","https://openalex.org/W2386041993","https://openalex.org/W1608572506","https://openalex.org/W1429949169"],"abstract_inverted_index":{"Field":[0],"Programmable":[1],"Gate":[2],"Arrays":[3],"(FPGAs)":[4],"can":[5],"be":[6],"an":[7,21],"important":[8],"computational":[9,71],"tool":[10],"for":[11,25],"increasing":[12],"the":[13,64,76],"efficiency":[14],"of":[15,34,66,78],"SAT":[16,23],"solvers.":[17],"We":[18,62],"have":[19],"developed":[20],"efficient":[22],"solver":[24],"computing":[26],"van":[27,82],"der":[28,83],"Waerden":[29,84],"numbers":[30],"using":[31],"a":[32],"cluster":[33,49],"over":[35],"200":[36],"Xilinx":[37],"Spartan":[38],"XC6SLX150":[39],"FPGAs":[40],"that":[41],"were":[42],"originally":[43],"dedicated":[44],"to":[45],"Bitcoin":[46],"mining.":[47],"This":[48],"should":[50],"compute":[51],"W(5,3)":[52],"in":[53],"6–9":[54],"months":[55],"with":[56],"modest":[57],"power":[58],"and":[59,68],"cooling":[60],"requirements.":[61],"discuss":[63],"challenges":[65],"building":[67],"operating":[69],"this":[70],"system.":[72],"Finally,":[73],"we":[74],"report":[75],"values":[77],"four":[79],"new":[80],"off-diagonal":[81],"numbers.":[85]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2025-12-28T23:10:05.387466","created_date":"2017-01-26T00:00:00"}