{"id":"https://openalex.org/W2549680053","doi":"https://doi.org/10.1109/icm.2015.7438045","title":"A new FPGA-based DPLL algorithm to improve SAT solvers","display_name":"A new FPGA-based DPLL algorithm to improve SAT solvers","publication_year":2015,"publication_date":"2015-12-01","ids":{"openalex":"https://openalex.org/W2549680053","doi":"https://doi.org/10.1109/icm.2015.7438045","mag":"2549680053"},"language":"en","primary_location":{"id":"doi:10.1109/icm.2015.7438045","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icm.2015.7438045","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 27th International Conference on Microelectronics (ICM)","raw_type":"proceedings-article"},"type":"preprint","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/A5024955533","display_name":"Khadija Bousmar","orcid":null},"institutions":[{"id":"https://openalex.org/I4210113095","display_name":"\u00c9cole Marocaine des Sciences de l'Ing\u00e9nieur","ror":"https://ror.org/01d1pbg09","country_code":"MA","type":"education","lineage":["https://openalex.org/I4210113095"]},{"id":"https://openalex.org/I4210134356","display_name":"Laboratoire G\u00e9nie Industriel","ror":"https://ror.org/0455wwj08","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210134356"]},{"id":"https://openalex.org/I4387155471","display_name":"Laboratoire de G\u00e9nie Informatique, de Production et de Maintenance","ror":"https://ror.org/04xykxd72","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210150706","https://openalex.org/I4387155471","https://openalex.org/I90183372","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR","MA"],"is_corresponding":false,"raw_author_name":"Khadija Bousmar","raw_affiliation_strings":["Ecole Marocaine des Sciences de l'ingenieur (EMSI), D\u00e9partement de Recherche et Innovation (DRI), Casablanca, Maroc","Laboratoire de G\u00e9nie Industriel et de Production de Metz (LGIPM), Universit\u00e9 de Lorraine, France","Laboratoire Pluridisciplinaire de Recherche et Innovation","Laboratoire de G\u00e9nie Industriel, de Production et de Maintenance"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Ecole Marocaine des Sciences de l'ingenieur (EMSI), D\u00e9partement de Recherche et Innovation (DRI), Casablanca, Maroc","institution_ids":["https://openalex.org/I4210113095"]},{"raw_affiliation_string":"Laboratoire de G\u00e9nie Industriel et de Production de Metz (LGIPM), Universit\u00e9 de Lorraine, France","institution_ids":["https://openalex.org/I4210134356","https://openalex.org/I90183372","https://openalex.org/I4387155471"]},{"raw_affiliation_string":"Laboratoire Pluridisciplinaire de Recherche et Innovation","institution_ids":[]},{"raw_affiliation_string":"Laboratoire de G\u00e9nie Industriel, de Production et de Maintenance","institution_ids":["https://openalex.org/I4210134356"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112299208","display_name":"Fabrice Monteiro","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134356","display_name":"Laboratoire G\u00e9nie Industriel","ror":"https://ror.org/0455wwj08","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210134356"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fabrice Monteiro","raw_affiliation_strings":["Universite de Lorraine, Nancy, Lorraine, FR","Laboratoire de G\u00e9nie Industriel, de Production et de Maintenance"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universite de Lorraine, Nancy, Lorraine, FR","institution_ids":["https://openalex.org/I90183372"]},{"raw_affiliation_string":"Laboratoire de G\u00e9nie Industriel, de Production et de Maintenance","institution_ids":["https://openalex.org/I4210134356"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110043391","display_name":"Zineb Habbas","orcid":null},"institutions":[{"id":"https://openalex.org/I4387152457","display_name":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes","ror":"https://ror.org/04x6jg419","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4387152457","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Zineb Habbas","raw_affiliation_strings":["Universit\u00e9 de Lorraine, France","Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Lorraine, France","institution_ids":["https://openalex.org/I90183372"]},{"raw_affiliation_string":"Laboratoire de Conception, Optimisation et Mod\u00e9lisation des Syst\u00e8mes","institution_ids":["https://openalex.org/I4387152457"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032184240","display_name":"Sofi\u00e8ne Dellagi","orcid":"https://orcid.org/0000-0001-9546-7540"},"institutions":[{"id":"https://openalex.org/I4210134356","display_name":"Laboratoire G\u00e9nie Industriel","ror":"https://ror.org/0455wwj08","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210134356"]},{"id":"https://openalex.org/I4387155471","display_name":"Laboratoire de G\u00e9nie Informatique, de Production et de Maintenance","ror":"https://ror.org/04xykxd72","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210150706","https://openalex.org/I4387155471","https://openalex.org/I90183372","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sofiene Dellagi","raw_affiliation_strings":["Laboratoire de G\u00e9nie Industriel et de Production de Metz (LGIPM), Universit\u00e9 de Lorraine, France","Laboratoire de G\u00e9nie Industriel, de Production et de Maintenance"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de G\u00e9nie Industriel et de Production de Metz (LGIPM), Universit\u00e9 de Lorraine, France","institution_ids":["https://openalex.org/I4210134356","https://openalex.org/I90183372","https://openalex.org/I4387155471"]},{"raw_affiliation_string":"Laboratoire de G\u00e9nie Industriel, de Production et de Maintenance","institution_ids":["https://openalex.org/I4210134356"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112557046","display_name":"Abbas Dandache","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134356","display_name":"Laboratoire G\u00e9nie Industriel","ror":"https://ror.org/0455wwj08","country_code":"FR","type":"facility","lineage":["https://openalex.org/I277688954","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210134356"]},{"id":"https://openalex.org/I4387155471","display_name":"Laboratoire de G\u00e9nie Informatique, de Production et de Maintenance","ror":"https://ror.org/04xykxd72","country_code":null,"type":"facility","lineage":["https://openalex.org/I4210150706","https://openalex.org/I4387155471","https://openalex.org/I90183372","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Abbas Dandache","raw_affiliation_strings":["Laboratoire de G\u00e9nie Industriel et de Production de Metz (LGIPM), Universit\u00e9 de Lorraine, France","Laboratoire de G\u00e9nie Industriel et de Production de Metz"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire de G\u00e9nie Industriel et de Production de Metz (LGIPM), Universit\u00e9 de Lorraine, France","institution_ids":["https://openalex.org/I4210134356","https://openalex.org/I90183372","https://openalex.org/I4387155471"]},{"raw_affiliation_string":"Laboratoire de G\u00e9nie Industriel et de Production de Metz","institution_ids":["https://openalex.org/I4210134356"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0903,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.81454854,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"287","last_page":"290"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/dpll-algorithm","display_name":"DPLL algorithm","score":0.9861578941345215},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.775749146938324},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7446826100349426},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.636370062828064},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5578064918518066},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.4960664212703705},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.47541624307632446},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3620065748691559},{"id":"https://openalex.org/keywords/phase-locked-loop","display_name":"Phase-locked loop","score":0.19570410251617432},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.10584595799446106},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09549328684806824},{"id":"https://openalex.org/keywords/jitter","display_name":"Jitter","score":0.05689933896064758}],"concepts":[{"id":"https://openalex.org/C143936061","wikidata":"https://www.wikidata.org/wiki/Q2030088","display_name":"DPLL algorithm","level":4,"score":0.9861578941345215},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.775749146938324},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7446826100349426},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.636370062828064},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5578064918518066},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.4960664212703705},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.47541624307632446},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3620065748691559},{"id":"https://openalex.org/C12707504","wikidata":"https://www.wikidata.org/wiki/Q52637","display_name":"Phase-locked loop","level":3,"score":0.19570410251617432},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.10584595799446106},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09549328684806824},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.05689933896064758},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/icm.2015.7438045","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icm.2015.7438045","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 27th International Conference on Microelectronics (ICM)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01333300v1","is_oa":false,"landing_page_url":"https://hal.univ-lorraine.fr/hal-01333300","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"27th International Conference on Microelectronics (ICM), Dec 2015, Casablanca, Morocco. ⟨10.1109/ICM.2015.7438045⟩","raw_type":"Conference papers"},{"id":"pmh:oai:HAL:hal-03293452v1","is_oa":false,"landing_page_url":"https://hal.univ-lorraine.fr/hal-03293452","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2015 27th International Conference on Microelectronics (ICM), Dec 2015, Casablanca, France. pp.287-290, ⟨10.1109/ICM.2015.7438045⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.4000000059604645,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W81141315","https://openalex.org/W382458255","https://openalex.org/W1633558951","https://openalex.org/W1923495615","https://openalex.org/W1971556138","https://openalex.org/W2022846948","https://openalex.org/W2092928619","https://openalex.org/W2126442135","https://openalex.org/W2131972012","https://openalex.org/W2270554597","https://openalex.org/W2522080315","https://openalex.org/W4285719527","https://openalex.org/W6603273834","https://openalex.org/W6694369866"],"related_works":["https://openalex.org/W2007316622","https://openalex.org/W2408711288","https://openalex.org/W2137681242","https://openalex.org/W1024451821","https://openalex.org/W2094368841","https://openalex.org/W2051846104","https://openalex.org/W2578803399","https://openalex.org/W2493091936","https://openalex.org/W2048447692","https://openalex.org/W2089119454"],"abstract_inverted_index":{"SAT":[0,14],"(SATisfiability":[1],"of":[2,81],"Propositional":[3],"Formula)":[4],"is":[5],"a":[6,33,56,73],"well-known":[7],"NP-Complete":[8],"problem":[9],"[1][2].":[10],"Conventional":[11],"solvers":[12],"for":[13,38],"based":[15,63],"on":[16,64],"traditional":[17],"DPLL":[18,60,69],"algorithm":[19,62,70],"presents":[20],"serious":[21],"CPU-Times":[22],"limitations,":[23],"especially":[24],"when":[25],"addressing":[26],"large":[27,41],"size":[28,42],"instances.":[29],"These":[30],"last":[31,52],"decades,":[32],"promising":[34],"approach":[35],"has":[36],"emerged":[37],"solving":[39,61],"efficiently":[40],"instances":[43],"by":[44,84],"using":[45,85],"FPGA":[46],"architectures.":[47],"This":[48,66],"paper":[49],"follows":[50],"this":[51],"direction":[53],"and":[54,58],"proposes":[55],"new":[57,67,74],"original":[59],"FPGA.":[65],"FPGA-based":[68],"will":[71],"use":[72],"backtrack":[75],"method":[76],"to":[77,89],"reduce":[78],"the":[79,93],"time":[80],"problems":[82],"resolution":[83],"registers":[86],"which":[87],"help":[88],"save":[90],"data":[91],"from":[92],"RAM.":[94]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-17T08:01:34.144755","created_date":"2025-10-10T00:00:00"}