{"id":"https://openalex.org/W4398239241","doi":"https://doi.org/10.1145/3639478.3643097","title":"Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions","display_name":"Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions","publication_year":2024,"publication_date":"2024-04-14","ids":{"openalex":"https://openalex.org/W4398239241","doi":"https://doi.org/10.1145/3639478.3643097"},"language":"en","primary_location":{"id":"doi:10.1145/3639478.3643097","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3639478.3643097","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3639478.3643097","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3639478.3643097","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080393412","display_name":"Olivier Zeyen","orcid":"https://orcid.org/0000-0003-0378-5643"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":true,"raw_author_name":"Olivier Zeyen","raw_affiliation_strings":["University of Luxembourg, SnT, Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"University of Luxembourg, SnT, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000695937","display_name":"Maxime Cordy","orcid":"https://orcid.org/0000-0001-8312-1358"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Maxime Cordy","raw_affiliation_strings":["SnT, University of Luxembourg, Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"SnT, University of Luxembourg, Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055104897","display_name":"Gilles Perrouin","orcid":"https://orcid.org/0000-0002-8431-0377"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Gilles Perrouin","raw_affiliation_strings":["Universit\u00e9 de Namur, Namur, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Namur, Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003973216","display_name":"Mathieu Acher","orcid":"https://orcid.org/0000-0003-1483-3858"},"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/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I56067802","display_name":"Universit\u00e9 de Rennes","ror":"https://ror.org/015m7wh34","country_code":"FR","type":"education","lineage":["https://openalex.org/I56067802"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mathieu Acher","raw_affiliation_strings":["Univ Rennes, Inria, CNRS, IRISA, Rennes, France"],"affiliations":[{"raw_affiliation_string":"Univ Rennes, Inria, CNRS, IRISA, Rennes, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I56067802","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5080393412"],"corresponding_institution_ids":["https://openalex.org/I186903577"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.07953604,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"322","last_page":"323"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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/computer-science","display_name":"Computer science","score":0.6493580341339111},{"id":"https://openalex.org/keywords/sampling","display_name":"Sampling (signal processing)","score":0.637016236782074},{"id":"https://openalex.org/keywords/sample-complexity","display_name":"Sample complexity","score":0.519074022769928},{"id":"https://openalex.org/keywords/sample","display_name":"Sample (material)","score":0.5073689818382263},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.49169689416885376},{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.458586186170578},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4564951956272125},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4353299140930176},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4197060465812683},{"id":"https://openalex.org/keywords/sample-size-determination","display_name":"Sample size determination","score":0.4132269322872162},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29084810614585876},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2811332046985626},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.24118557572364807}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6493580341339111},{"id":"https://openalex.org/C140779682","wikidata":"https://www.wikidata.org/wiki/Q210868","display_name":"Sampling (signal processing)","level":3,"score":0.637016236782074},{"id":"https://openalex.org/C2778445095","wikidata":"https://www.wikidata.org/wiki/Q18354077","display_name":"Sample complexity","level":2,"score":0.519074022769928},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.5073689818382263},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.49169689416885376},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.458586186170578},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4564951956272125},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4353299140930176},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4197060465812683},{"id":"https://openalex.org/C129848803","wikidata":"https://www.wikidata.org/wiki/Q2564360","display_name":"Sample size determination","level":2,"score":0.4132269322872162},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29084810614585876},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2811332046985626},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.24118557572364807},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","level":1,"score":0.0},{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.0},{"id":"https://openalex.org/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","level":1,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3639478.3643097","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3639478.3643097","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3639478.3643097","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/63309","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/63309","pdf_url":"https://orbilu.uni.lu/bitstream/10993/63309/1/FAOC_Phase_transitions_in__SAT.pdf","source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"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":"Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, Lisbon, Prt [Prt], 14-04-2024 => 20-04-2024","raw_type":"peer reviewed"},{"id":"pmh:oai:pure.unamur.be:openaire_cris_publications/30daa532-2912-464e-9ae7-c123ada96077","is_oa":true,"landing_page_url":"https://researchportal.unamur.be/en/publications/30daa532-2912-464e-9ae7-c123ada96077","pdf_url":"https://pure.unamur.be/ws/files/92372841/ICSE2024_Phase_transitions_in_SAT_Poster-Authoor_version.pdf","source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Zeyen, O, Cordy, M, Perrouin, G & Acher, M 2024, 'Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions', 46th International Conference on Software Engineering, Lisbon, Portugal, 12/04/24 - 21/04/24 pp. 322-323. https://doi.org/10.1145/3639478.3643097","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:pure.unamur.be:publications/30daa532-2912-464e-9ae7-c123ada96077","is_oa":true,"landing_page_url":"https://researchportal.unamur.be/files/92372841/ICSE2024_Phase_transitions_in_SAT_Poster-Authoor_version.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Zeyen, O, Cordy, M, Perrouin, G & Acher, M 2024, 'Exploring the Computational Complexity of SAT Counting and Uniform Sampling with Phase Transitions', 46th International Conference on Software Engineering, Lisbon, Portugal, 12/04/24 - 21/04/24 pp. 322-323. https://doi.org/10.1145/3639478.3643097","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1145/3639478.3643097","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3639478.3643097","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3639478.3643097","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4398239241.pdf"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1978222018","https://openalex.org/W2615919345","https://openalex.org/W2941640074","https://openalex.org/W3005807947","https://openalex.org/W3026673777","https://openalex.org/W3127010458","https://openalex.org/W3150134748"],"related_works":["https://openalex.org/W4388813866","https://openalex.org/W2999104021","https://openalex.org/W1481656249","https://openalex.org/W2850804095","https://openalex.org/W2162280767","https://openalex.org/W2607437843","https://openalex.org/W4295700147","https://openalex.org/W2963162727","https://openalex.org/W3047225376","https://openalex.org/W1570799877"],"abstract_inverted_index":{"Uniform":[0],"Random":[1],"Sampling":[2],"(URS)":[3],"is":[4],"the":[5,20,72],"problem":[6],"of":[7,23,40,54],"selecting":[8],"solutions":[9],"(models)":[10],"from":[11,63],"a":[12],"Boolean":[13],"formula":[14],"such":[15],"that":[16],"each":[17],"solution":[18],"gets":[19],"same":[21],"probability":[22],"being":[24],"selected.":[25],"URS":[26,55],"has":[27],"many":[28],"applications.":[29],"In":[30],"large":[31],"configurable":[32],"software":[33],"systems,":[34],"one":[35],"wants":[36],"an":[37,47],"unbiased":[38],"sample":[39,61],"configurations":[41],"to":[42],"look":[43],"for":[44],"bugs":[45],"at":[46],"affordable":[48],"cost":[49],"[12,":[50],"13].":[51],"Other":[52],"applications":[53],"include":[56],"deep":[57],"learning":[58],"verification":[59],"(to":[60,70],"inputs":[62],"unknown":[64],"distributions)":[65],"[2]":[66],"and":[67],"evolutionary":[68],"algorithms":[69],"initialize":[71],"input":[73],"population)":[74],"[4].":[75]},"counts_by_year":[],"updated_date":"2026-04-15T08:11:43.952461","created_date":"2025-10-10T00:00:00"}