{"id":"https://openalex.org/W2787628741","doi":"https://doi.org/10.1109/ssci.2017.8280953","title":"Improving performance of CDCL SAT solvers by automated design of variable selection heuristics","display_name":"Improving performance of CDCL SAT solvers by automated design of variable selection heuristics","publication_year":2017,"publication_date":"2017-11-01","ids":{"openalex":"https://openalex.org/W2787628741","doi":"https://doi.org/10.1109/ssci.2017.8280953","mag":"2787628741"},"language":"en","primary_location":{"id":"doi:10.1109/ssci.2017.8280953","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ssci.2017.8280953","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE Symposium Series on Computational Intelligence (SSCI)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.osti.gov/biblio/1462513","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001016001","display_name":"Marketa Illetskova","orcid":null},"institutions":[{"id":"https://openalex.org/I20382870","display_name":"Missouri University of Science and Technology","ror":"https://ror.org/00scwqd12","country_code":"US","type":"education","lineage":["https://openalex.org/I20382870"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Marketa Illetskova","raw_affiliation_strings":["Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A","institution_ids":["https://openalex.org/I20382870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022897702","display_name":"Alex Bertels","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104735","display_name":"Sandia National Laboratories","ror":"https://ror.org/01apwpt12","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210104735"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alex R. Bertels","raw_affiliation_strings":["Sandia National Laboratories, Albuquerque, NM, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sandia National Laboratories, Albuquerque, NM, U.S.A","institution_ids":["https://openalex.org/I4210104735"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060371399","display_name":"Joshua M. Tuggle","orcid":null},"institutions":[{"id":"https://openalex.org/I20382870","display_name":"Missouri University of Science and Technology","ror":"https://ror.org/00scwqd12","country_code":"US","type":"education","lineage":["https://openalex.org/I20382870"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joshua M. Tuggle","raw_affiliation_strings":["Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A","institution_ids":["https://openalex.org/I20382870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002571727","display_name":"Adam Harter","orcid":null},"institutions":[{"id":"https://openalex.org/I20382870","display_name":"Missouri University of Science and Technology","ror":"https://ror.org/00scwqd12","country_code":"US","type":"education","lineage":["https://openalex.org/I20382870"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam Harter","raw_affiliation_strings":["Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A","institution_ids":["https://openalex.org/I20382870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019330848","display_name":"Samuel Richter","orcid":null},"institutions":[{"id":"https://openalex.org/I20382870","display_name":"Missouri University of Science and Technology","ror":"https://ror.org/00scwqd12","country_code":"US","type":"education","lineage":["https://openalex.org/I20382870"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samuel Richter","raw_affiliation_strings":["Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A","institution_ids":["https://openalex.org/I20382870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049252789","display_name":"Daniel R. Tauritz","orcid":"https://orcid.org/0000-0002-8233-7701"},"institutions":[{"id":"https://openalex.org/I20382870","display_name":"Missouri University of Science and Technology","ror":"https://ror.org/00scwqd12","country_code":"US","type":"education","lineage":["https://openalex.org/I20382870"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel R. Tauritz","raw_affiliation_strings":["Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Missouri University of Science and Technology, Rolla, MO, U.S.A","institution_ids":["https://openalex.org/I20382870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001017720","display_name":"Samuel A. Mulder","orcid":"https://orcid.org/0000-0001-9514-7061"},"institutions":[{"id":"https://openalex.org/I4210104735","display_name":"Sandia National Laboratories","ror":"https://ror.org/01apwpt12","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210104735"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Samuel Mulder","raw_affiliation_strings":["Sandia National Laboratories, Albuquerque, NM, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sandia National Laboratories, Albuquerque, NM, U.S.A","institution_ids":["https://openalex.org/I4210104735"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008829202","display_name":"Denis Bueno","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104735","display_name":"Sandia National Laboratories","ror":"https://ror.org/01apwpt12","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210104735"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Denis Bueno","raw_affiliation_strings":["Sandia National Laboratories, Albuquerque, NM, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sandia National Laboratories, Albuquerque, NM, U.S.A","institution_ids":["https://openalex.org/I4210104735"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110569538","display_name":"Michelle Leger","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104735","display_name":"Sandia National Laboratories","ror":"https://ror.org/01apwpt12","country_code":"US","type":"facility","lineage":["https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210104735"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michelle Leger","raw_affiliation_strings":["Sandia National Laboratories, Albuquerque, NM, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Sandia National Laboratories, Albuquerque, NM, U.S.A","institution_ids":["https://openalex.org/I4210104735"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055880664","display_name":"William M. Siever","orcid":null},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William M. Siever","raw_affiliation_strings":["Department of Computer Science and Engineering, Washington University in St. Louis, St. Louis, MO, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Washington University in St. Louis, St. Louis, MO, U.S.A","institution_ids":["https://openalex.org/I204465549"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":10,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0327,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.84116097,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"2","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9972000122070312,"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"}},"topics":[{"id":"https://openalex.org/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.9972000122070312,"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/T10142","display_name":"Formal Methods in Verification","score":0.996999979019165,"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/T10848","display_name":"Advanced Multi-Objective Optimization Algorithms","score":0.9958000183105469,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.8659833669662476},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7787497043609619},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.7648162841796875},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.7040806412696838},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6838153004646301},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5789238810539246},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5463162660598755},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.48325496912002563},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4487709105014801},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.4466092586517334},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.41159722208976746},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2505682706832886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21517401933670044},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18123915791511536}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.8659833669662476},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7787497043609619},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.7648162841796875},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.7040806412696838},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6838153004646301},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5789238810539246},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5463162660598755},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.48325496912002563},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4487709105014801},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4466092586517334},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.41159722208976746},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2505682706832886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21517401933670044},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18123915791511536},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/ssci.2017.8280953","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ssci.2017.8280953","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE Symposium Series on Computational Intelligence (SSCI)","raw_type":"proceedings-article"},{"id":"pmh:oai:osti.gov:1462513","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/1462513","pdf_url":null,"source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},{"id":"pmh:oai:osti.gov:1573952","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/1573952","pdf_url":null,"source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:osti.gov:1462513","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/1462513","pdf_url":null,"source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.6800000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W60686164","https://openalex.org/W1483736078","https://openalex.org/W1518705996","https://openalex.org/W1519083892","https://openalex.org/W1535991974","https://openalex.org/W1544610663","https://openalex.org/W1547788791","https://openalex.org/W1606514674","https://openalex.org/W1871585472","https://openalex.org/W1949943063","https://openalex.org/W1969974227","https://openalex.org/W1992684081","https://openalex.org/W2030455524","https://openalex.org/W2040441952","https://openalex.org/W2043475427","https://openalex.org/W2062918259","https://openalex.org/W2071950189","https://openalex.org/W2072441740","https://openalex.org/W2085182533","https://openalex.org/W2085891876","https://openalex.org/W2102791214","https://openalex.org/W2103364805","https://openalex.org/W2104763033","https://openalex.org/W2139298538","https://openalex.org/W2147148915","https://openalex.org/W2152949134","https://openalex.org/W2153583758","https://openalex.org/W2155840847","https://openalex.org/W2165207629","https://openalex.org/W2282536569","https://openalex.org/W2406059451","https://openalex.org/W2498466390","https://openalex.org/W2567133967","https://openalex.org/W2774185825","https://openalex.org/W2943545475","https://openalex.org/W2950680102","https://openalex.org/W2964281761","https://openalex.org/W3158843154","https://openalex.org/W6639411108","https://openalex.org/W6680349333","https://openalex.org/W6762078841"],"related_works":["https://openalex.org/W3177062893","https://openalex.org/W3125143773","https://openalex.org/W2007032764","https://openalex.org/W803550684","https://openalex.org/W2483226803","https://openalex.org/W3143937874","https://openalex.org/W4312926500","https://openalex.org/W2067280619","https://openalex.org/W4251343851","https://openalex.org/W2115480761"],"abstract_inverted_index":{"Many":[0],"real-world":[1],"engineering":[2],"and":[3],"science":[4],"problems":[5,12],"can":[6,63],"be":[7],"mapped":[8],"to":[9,58,97,100,129],"Boolean":[10],"satisfiability":[11],"(SAT).":[13],"CDCL":[14,92],"SAT":[15],"solvers":[16,99,133],"are":[17,106],"among":[18],"the":[19,41,51,66,85,127],"most":[20],"efficient":[21,132],"solvers.":[22],"Previous":[23],"work":[24],"showed":[25],"that":[26,109],"instances":[27],"derived":[28],"from":[29],"a":[30,35,44,56,59,81],"particular":[31,60,135],"problem":[32,61,102,136],"class":[33,62],"exhibit":[34],"unique":[36],"underlying":[37],"structure":[38],"which":[39,112],"impacts":[40],"effectiveness":[42],"of":[43,55,87],"solver's":[45,67],"variable":[46,52,88,114],"selection":[47],"scheme.":[48],"Thus,":[49],"customizing":[50],"scoring":[53,89,115],"heuristic":[54],"solver":[57],"significantly":[64],"enhance":[65],"performance;":[68],"however,":[69],"manually":[70],"performing":[71],"such":[72],"customization":[73],"is":[74],"very":[75],"labor":[76],"intensive.":[77],"This":[78],"paper":[79],"presents":[80],"system":[82],"for":[83,91,134],"automating":[84],"design":[86],"heuristics":[90,116],"solvers,":[93],"making":[94],"it":[95],"feasible":[96],"tailor":[98],"arbitrary":[101],"classes.":[103,137],"Experimental":[104],"results":[105],"provided":[107],"demonstrating":[108],"this":[110],"system,":[111],"evolves":[113],"using":[117],"an":[118],"asynchronous":[119],"parallel":[120],"hyper-heuristics":[121],"approach":[122],"employing":[123],"genetic":[124],"programming,":[125],"has":[126],"potential":[128],"create":[130],"more":[131]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}