{"id":"https://openalex.org/W3194217435","doi":"https://doi.org/10.5070/c63261985","title":"Exact enumeration of satisfiable 2-SAT formulae","display_name":"Exact enumeration of satisfiable 2-SAT formulae","publication_year":2023,"publication_date":"2023-09-14","ids":{"openalex":"https://openalex.org/W3194217435","doi":"https://doi.org/10.5070/c63261985","mag":"3194217435"},"language":"en","primary_location":{"id":"doi:10.5070/c63261985","is_oa":true,"landing_page_url":"http://dx.doi.org/10.5070/c63261985","pdf_url":"https://escholarship.org/content/qt1m48c7s8/qt1m48c7s8.pdf","source":{"id":"https://openalex.org/S4210174179","display_name":"Combinatorial Theory","issn_l":"2766-1334","issn":["2766-1334"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Combinatorial Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://escholarship.org/content/qt1m48c7s8/qt1m48c7s8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112507920","display_name":"Sergey Dovgal","orcid":null},"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/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]},{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sergey Dovgal","raw_affiliation_strings":["LaBRI, CNRS UMR 5800, Universit\u00e9 de Bordeaux, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LaBRI, CNRS UMR 5800, Universit\u00e9 de Bordeaux, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003560304","display_name":"\u00c9lie de Panafieu","orcid":"https://orcid.org/0009-0002-1386-971X"},"institutions":[{"id":"https://openalex.org/I4210149358","display_name":"Nokia (France)","ror":"https://ror.org/04kwfkk85","country_code":"FR","type":"company","lineage":["https://openalex.org/I2738502077","https://openalex.org/I4210149358"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"\u00c9lie De Panafieu","raw_affiliation_strings":["Nokia Bell Labs, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nokia Bell Labs, France","institution_ids":["https://openalex.org/I4210149358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109178811","display_name":"Vlady Ravelomanana","orcid":null},"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/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Vlady Ravelomanana","raw_affiliation_strings":["IRIF, CNRS UMR 8243, Universit\u00e9 de Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRIF, CNRS UMR 8243, Universit\u00e9 de Paris, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I204730241"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5003560304"],"corresponding_institution_ids":["https://openalex.org/I4210149358"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00675765,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9984999895095825,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9984999895095825,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.9194431304931641},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.7564524412155151},{"id":"https://openalex.org/keywords/generating-function","display_name":"Generating function","score":0.726442813873291},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5779697299003601},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5657505393028259},{"id":"https://openalex.org/keywords/digraph","display_name":"Digraph","score":0.549019455909729},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5422447919845581},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.48926064372062683},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.43790119886398315}],"concepts":[{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.9194431304931641},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.7564524412155151},{"id":"https://openalex.org/C204911207","wikidata":"https://www.wikidata.org/wiki/Q860609","display_name":"Generating function","level":2,"score":0.726442813873291},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5779697299003601},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5657505393028259},{"id":"https://openalex.org/C2779145032","wikidata":"https://www.wikidata.org/wiki/Q191494","display_name":"Digraph","level":2,"score":0.549019455909729},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5422447919845581},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.48926064372062683},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.43790119886398315},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5070/c63261985","is_oa":true,"landing_page_url":"http://dx.doi.org/10.5070/c63261985","pdf_url":"https://escholarship.org/content/qt1m48c7s8/qt1m48c7s8.pdf","source":{"id":"https://openalex.org/S4210174179","display_name":"Combinatorial Theory","issn_l":"2766-1334","issn":["2766-1334"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Combinatorial Theory","raw_type":"journal-article"},{"id":"pmh:oai:escholarship.org:ark:/13030/qt1m48c7s8","is_oa":true,"landing_page_url":"https://escholarship.org/uc/item/1m48c7s8","pdf_url":"https://escholarship.org/content/qt1m48c7s8/qt1m48c7s8.pdf?t=s0ycfc","source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Combinatorial Theory, vol 3, iss 2","raw_type":"article"}],"best_oa_location":{"id":"doi:10.5070/c63261985","is_oa":true,"landing_page_url":"http://dx.doi.org/10.5070/c63261985","pdf_url":"https://escholarship.org/content/qt1m48c7s8/qt1m48c7s8.pdf","source":{"id":"https://openalex.org/S4210174179","display_name":"Combinatorial Theory","issn_l":"2766-1334","issn":["2766-1334"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Combinatorial Theory","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6723394301","display_name":null,"funder_award_id":"H2020-EU.1.3.3","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G6876561401","display_name":null,"funder_award_id":"ANR-18","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8062679584","display_name":"HEterogeneity and Routing Algorithms in networks","funder_award_id":"ANR-18-CE25-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320322892","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3194217435.pdf"},"referenced_works_count":66,"referenced_works":["https://openalex.org/W186403072","https://openalex.org/W390146837","https://openalex.org/W1528326162","https://openalex.org/W1562455717","https://openalex.org/W1748854981","https://openalex.org/W1767676931","https://openalex.org/W1965266146","https://openalex.org/W1969966778","https://openalex.org/W1972552661","https://openalex.org/W1977706697","https://openalex.org/W1986514804","https://openalex.org/W1999032440","https://openalex.org/W2002235455","https://openalex.org/W2006146932","https://openalex.org/W2006424894","https://openalex.org/W2009029764","https://openalex.org/W2010894431","https://openalex.org/W2014469944","https://openalex.org/W2018251959","https://openalex.org/W2030087828","https://openalex.org/W2031823362","https://openalex.org/W2036265926","https://openalex.org/W2038344291","https://openalex.org/W2050396985","https://openalex.org/W2056914622","https://openalex.org/W2069802496","https://openalex.org/W2073359459","https://openalex.org/W2073677433","https://openalex.org/W2076753758","https://openalex.org/W2077925882","https://openalex.org/W2104099158","https://openalex.org/W2105860081","https://openalex.org/W2109767783","https://openalex.org/W2113680569","https://openalex.org/W2115831572","https://openalex.org/W2121373282","https://openalex.org/W2124547004","https://openalex.org/W2138778293","https://openalex.org/W2158968488","https://openalex.org/W2161008715","https://openalex.org/W2340541605","https://openalex.org/W2616697817","https://openalex.org/W2804968020","https://openalex.org/W2905110430","https://openalex.org/W2911361414","https://openalex.org/W2922827351","https://openalex.org/W2940877513","https://openalex.org/W2945721769","https://openalex.org/W2951511034","https://openalex.org/W2953327472","https://openalex.org/W2963201214","https://openalex.org/W2963214227","https://openalex.org/W2981133959","https://openalex.org/W3001174553","https://openalex.org/W3026827890","https://openalex.org/W3037691288","https://openalex.org/W3087986783","https://openalex.org/W3105442588","https://openalex.org/W3143264742","https://openalex.org/W3144881883","https://openalex.org/W4205898702","https://openalex.org/W4238632618","https://openalex.org/W4241669766","https://openalex.org/W4287661343","https://openalex.org/W4367847014","https://openalex.org/W6783357031"],"related_works":["https://openalex.org/W3083527377","https://openalex.org/W1982980084","https://openalex.org/W2024532720","https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W1913543287","https://openalex.org/W2268872489"],"abstract_inverted_index":{"We":[0,78],"obtain":[1],"exact":[2,81,114],"expressions":[3],"counting":[4],"the":[5,11,27,31,42,48,57,66,71,75,101,106],"satisfiable":[6],"2-SAT":[7,72,102],"formulae":[8,82],"and":[9],"describe":[10],"structure":[12],"of":[13,30,39,65,70,100],"associated":[14],"implication":[15,32],"digraphs.":[16],"Our":[17],"approach":[18],"is":[19],"based":[20],"on":[21],"generating":[22,40,44,50,124],"function":[23,51],"manipulations.":[24],"To":[25],"reflect":[26],"combinatorial":[28],"specificities":[29],"digraphs,":[33],"we":[34,60],"introduce":[35],"a":[36,96],"new":[37],"kind":[38],"function,":[41,45],"Implication":[43],"inspired":[46],"by":[47],"Graphic":[49],"used":[52],"in":[53,105],"digraph":[54],"enumeration.":[55],"Using":[56],"underlying":[58],"recurrences,":[59],"make":[61],"accurate":[62],"numerical":[63],"predictions":[64],"phase":[67,103,118],"transition":[68,104],"curve":[69],"problem":[73],"inside":[74],"critical":[76],"window.":[77],"expect":[79],"these":[80],"to":[83,86,95],"be":[84],"amenable":[85],"rigorous":[87],"asymptotic":[88],"analysis":[89],"using":[90],"complex":[91],"analytic":[92],"tools,":[93],"leading":[94],"more":[97],"detailed":[98],"picture":[99],"future.Mathematics":[107],"Subject":[108],"Classifications:":[109],"05A15,":[110],"68Q87,":[111],"68R95Keywords:":[112],"2-CNF,":[113],"enumeration,":[115],"random":[116],"graphs,":[117],"transitions,":[119],"strongly":[120],"connected":[121],"components,":[122],"satisfiability,":[123],"functions":[125]},"counts_by_year":[],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}