{"id":"https://openalex.org/W2576604626","doi":"https://doi.org/10.3233/978-1-61499-621-7-515","title":"FPGA Acceleration of SAT Preprocessor","display_name":"FPGA Acceleration of SAT Preprocessor","publication_year":2016,"publication_date":"2016-01-01","ids":{"openalex":"https://openalex.org/W2576604626","doi":"https://doi.org/10.3233/978-1-61499-621-7-515","mag":"2576604626"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-61499-621-7-515","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-621-7-515","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/A5077189941","display_name":"Suzuki Masayuki","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Suzuki Masayuki","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5102968876","display_name":"Tsutomu Maruyama","orcid":"https://orcid.org/0000-0003-3857-2357"},"institutions":[{"id":"https://openalex.org/I146399215","display_name":"University of Tsukuba","ror":"https://ror.org/02956yf07","country_code":"JP","type":"education","lineage":["https://openalex.org/I146399215"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Maruyama Tsutomu","raw_affiliation_strings":["University of Tsukuba, Tsukuba, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tsukuba, Tsukuba, Japan","institution_ids":["https://openalex.org/I146399215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5077189941"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.448,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.68376866,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"27","issue":null,"first_page":"515","last_page":"524"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9484000205993652,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9484000205993652,"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/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.7296915054321289},{"id":"https://openalex.org/keywords/acceleration","display_name":"Acceleration","score":0.6765441298484802},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.6446490287780762},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5741888880729675},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3786543011665344},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1608904004096985},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11947950720787048}],"concepts":[{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.7296915054321289},{"id":"https://openalex.org/C117896860","wikidata":"https://www.wikidata.org/wiki/Q11376","display_name":"Acceleration","level":2,"score":0.6765441298484802},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.6446490287780762},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5741888880729675},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3786543011665344},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1608904004096985},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11947950720787048},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3233/978-1-61499-621-7-515","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-61499-621-7-515","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:2576604626","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/parco/parco2015.html#SuzukiM15","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":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.7699999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2111241003","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2096844293","https://openalex.org/W2363944576","https://openalex.org/W2351041855","https://openalex.org/W2570254841"],"abstract_inverted_index":{"The":[0,84],"satisfiability":[1],"(SAT)":[2],"problem":[3],"is":[4,90,98],"to":[5,12,27,45,72,143],"find":[6],"an":[7,55],"assignment":[8],"of":[9,87,103],"binary":[10],"values":[11],"the":[13,47,65,74,79,82,88,96,101,104,118,133],"variables":[14],"which":[15],"satisfy":[16],"a":[17,59],"given":[18],"formula.":[19,83],"Many":[20],"practical":[21],"application":[22],"problems":[23,29],"can":[24,136],"be":[25,137],"transformed":[26],"SAT":[28,32,39],"and":[30,68,95,117],"many":[31,38],"solvers":[33],"have":[34],"been":[35],"developed.":[36],"In":[37,50,64,108],"solvers,":[40],"preprocessors":[41],"are":[42,70,113,122],"widely":[43],"used":[44],"reduce":[46,73],"computational":[48],"cost.":[49],"this":[51],"paper,":[52],"we":[53],"describe":[54],"approach":[56],"for":[57],"implementing":[58],"preprocessor":[60],"(Unhiding)":[61],"on":[62],"FPGA.":[63],"Unhiding,":[66],"literals":[67,119],"clauses":[69,112],"eliminated":[71],"search":[75],"space":[76],"by":[77,100],"finding":[78],"redundancies":[80],"in":[81,93,115,120,132,139],"data":[85],"size":[86],"formula":[89],"very":[91],"large":[92],"general,":[94],"acceleration":[97],"limited":[99],"throughput":[102],"off-chip":[105],"DRAM":[106],"banks.":[107],"our":[109],"approach,":[110],"N":[111],"processed":[114],"parallel,":[116],"them":[121],"sorted":[123],"into":[124],"K":[125,130],"shift":[126],"registers":[127],"so":[128],"that":[129],"banks":[131],"external":[134],"DRAMs":[135],"accessed":[138],"round":[140],"robin":[141],"order":[142],"achieve":[144],"higher":[145],"memory":[146],"throughout.":[147]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2017-01-26T00:00:00"}