{"id":"https://openalex.org/W78552530","doi":null,"title":"Predicting learnt clauses quality in modern SAT solvers","display_name":"Predicting learnt clauses quality in modern SAT solvers","publication_year":2009,"publication_date":"2009-07-11","ids":{"openalex":"https://openalex.org/W78552530","mag":"78552530"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.150.1911","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.1911","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ijcai.org/papers09/Papers/IJCAI09-074.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5063062178","display_name":"Gilles Audemard","orcid":"https://orcid.org/0000-0003-2604-9657","observed_orcids":["https://orcid.org/0000-0003-2604-9657"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4405277525","display_name":"Centre de Recherche en Informatique de Lens","ror":"https://ror.org/03072md54","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I4405277525","https://openalex.org/I44563897"]},{"id":"https://openalex.org/I59807433","display_name":"Universit\u00e9 Lille Nord de France","ror":"https://ror.org/03btvgn05","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970","https://openalex.org/I59807433"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gilles Audemard","raw_affiliation_strings":["Univ. Lille-Nord de France, CRIL, CNRS UMR, Lens#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. Lille-Nord de France, CRIL, CNRS UMR, Lens#TAB#","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4405277525","https://openalex.org/I59807433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101575384","display_name":"Laurent Simon","orcid":"https://orcid.org/0000-0002-8439-8081","observed_orcids":["https://orcid.org/0000-0002-8439-8081","https://orcid.org/0000-0002-2627-1525","https://orcid.org/0000-0001-6115-9160","https://orcid.org/0000-0003-1389-9871"]},"institutions":[{"id":"https://openalex.org/I102197404","display_name":"Universit\u00e9 Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404","https://openalex.org/I277688954"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Simon","raw_affiliation_strings":["Univ. Paris-Sud, LRI, CNRS UMR, INRIA Saclay, Orsay#TAB#"],"raw_orcid":"https://orcid.org/0000-0002-8439-8081","affiliations":[{"raw_affiliation_string":"Univ. Paris-Sud, LRI, CNRS UMR, INRIA Saclay, Orsay#TAB#","institution_ids":["https://openalex.org/I102197404","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210144804"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":18.4535,"has_fulltext":false,"cited_by_count":498,"citation_normalized_percentile":{"value":0.9944188,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"399","last_page":"404"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9609000086784363,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9609000086784363,"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.026599999517202377,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.0006000000284984708,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/sat-solvers","display_name":"SAT solvers","score":0.7609999775886536},{"id":"https://openalex.org/keywords/learning-schemes","display_name":"learning schemes","score":0.3709999918937683}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7986094951629639},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.6404810547828674},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.6356746554374695},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.5765880346298218},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4867520332336426},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.48320257663726807},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4461138844490051},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4371640086174011},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.37251901626586914},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.12986809015274048},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12445470690727234},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.11162608861923218},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.150.1911","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.1911","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ijcai.org/papers09/Papers/IJCAI09-074.pdf","raw_type":"text"},{"id":"mag:78552530","doi":null,"is_oa":false,"landing_page_url":"http://ijcai.org/Proceedings/09/Papers/074.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306419999","display_name":"International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Joint Conference on Artificial Intelligence","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W30950413","https://openalex.org/W203746830","https://openalex.org/W1518705996","https://openalex.org/W1608123432","https://openalex.org/W1709155369","https://openalex.org/W1950282396","https://openalex.org/W2001859357","https://openalex.org/W2095709533","https://openalex.org/W2096307462","https://openalex.org/W2142648466","https://openalex.org/W2142785340","https://openalex.org/W4206807714","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W6996018292","https://openalex.org/W7095840253","https://openalex.org/W2766818338","https://openalex.org/W4301394261","https://openalex.org/W7099670545","https://openalex.org/W2047512375","https://openalex.org/W4283220697","https://openalex.org/W3022932386","https://openalex.org/W2741170138","https://openalex.org/W1567600461"],"abstract_inverted_index":{"Beside":[0],"impressive":[1],"progresses":[2],"made":[3],"by":[4,54,96,110],"SAT":[5,117],"solvers":[6,44],"over":[7],"the":[8],"last":[9],"ten":[10],"years,":[11],"only":[12],"few":[13],"works":[14],"tried":[15],"to":[16,70,78],"understand":[17],"why":[18],"Conflict":[19],"Directed":[20],"Clause":[21,62],"Learning":[22,63],"algorithms":[23],"(CDCL)":[24],"are":[25],"so":[26],"strong":[27],"and":[28,51,84,118],"efficient":[29],"on":[30,46,115],"most":[31],"industrial":[32,120],"applications.":[33],"We":[34],"report":[35],"in":[36],"this":[37,47],"work":[38],"a":[39,80],"key":[40],"observation":[41],"of":[42,49,59,87,113],"CDCL":[43],"behavior":[45],"family":[48],"benchmarks":[50],"explain":[52],"it":[53],"an":[55,72,111],"unsuspected":[56],"side":[57],"effect":[58],"their":[60],"particular":[61],"scheme.":[64],"This":[65],"new":[66,88,103],"paradigm":[67],"allows":[68],"us":[69],"solve":[71],"important,":[73],"still":[74],"open,":[75],"question:":[76],"How":[77],"designing":[79],"fast,":[81],"static,":[82],"accurate,":[83],"predictive":[85],"measure":[86],"learnt":[89],"clauses":[90],"pertinence.":[91],"Our":[92],"paper":[93],"is":[94],"followed":[95],"empirical":[97],"evidences":[98],"that":[99],"show":[100],"how":[101],"our":[102],"learning":[104],"scheme":[105],"improves":[106],"state-of-the":[107],"art":[108],"results":[109],"order":[112],"magnitude":[114],"both":[116],"UNSAT":[119],"problems.":[121]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":19},{"year":2021,"cited_by_count":41},{"year":2020,"cited_by_count":57},{"year":2019,"cited_by_count":47},{"year":2018,"cited_by_count":49},{"year":2017,"cited_by_count":44},{"year":2016,"cited_by_count":46},{"year":2015,"cited_by_count":38},{"year":2014,"cited_by_count":32},{"year":2013,"cited_by_count":47},{"year":2012,"cited_by_count":30}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}