{"id":"https://openalex.org/W4412347816","doi":"https://doi.org/10.1007/s10703-025-00481-6","title":"Rounding meets approximate model counting","display_name":"Rounding meets approximate model counting","publication_year":2025,"publication_date":"2025-07-11","ids":{"openalex":"https://openalex.org/W4412347816","doi":"https://doi.org/10.1007/s10703-025-00481-6"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-025-00481-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-025-00481-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-025-00481-6.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10703-025-00481-6.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035483620","display_name":"Jiong Yang","orcid":"https://orcid.org/0000-0002-4141-5398"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":true,"raw_author_name":"Jiong Yang","raw_affiliation_strings":["School of Computing, National University of Singapore, 13 Computing Drive, Singapore, 117417, Singapore, Singapore"],"affiliations":[{"raw_affiliation_string":"School of Computing, National University of Singapore, 13 Computing Drive, Singapore, 117417, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041528950","display_name":"Kuldeep S. Meel","orcid":"https://orcid.org/0000-0001-9423-5270"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kuldeep S. Meel","raw_affiliation_strings":["Department of Computer Science, University of Toronto, 40 St. George Street, Toronto, ON, M5S 2E4, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Toronto, 40 St. George Street, Toronto, ON, M5S 2E4, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5035483620"],"corresponding_institution_ids":["https://openalex.org/I165932596"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":{"value":2690,"currency":"EUR","value_usd":3490},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08096689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"67","issue":"2","first_page":"189","last_page":"221"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9979000091552734,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9979000091552734,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9968000054359436,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.991599977016449,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/rounding","display_name":"Rounding","score":0.9095895886421204},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.42123767733573914},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3681718409061432},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09198585152626038}],"concepts":[{"id":"https://openalex.org/C136625980","wikidata":"https://www.wikidata.org/wiki/Q663208","display_name":"Rounding","level":2,"score":0.9095895886421204},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.42123767733573914},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3681718409061432},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09198585152626038}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10703-025-00481-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-025-00481-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-025-00481-6.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10703-025-00481-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10703-025-00481-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10703-025-00481-6.pdf","source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3000731886","display_name":null,"funder_award_id":"NRF-NRFFAI1-2019-0004","funder_id":"https://openalex.org/F4320320709","funder_display_name":"National Research Foundation Singapore"},{"id":"https://openalex.org/G611633116","display_name":null,"funder_award_id":"NRF Fellowship","funder_id":"https://openalex.org/F4320320671","funder_display_name":"National Research Foundation"},{"id":"https://openalex.org/G6600840300","display_name":null,"funder_award_id":"NRF Fellowship","funder_id":"https://openalex.org/F4320320709","funder_display_name":"National Research Foundation Singapore"},{"id":"https://openalex.org/G7575805760","display_name":null,"funder_award_id":"MOE-T2EP20121-0011","funder_id":"https://openalex.org/F4320320751","funder_display_name":"Ministry of Education - Singapore"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320320709","display_name":"National Research Foundation Singapore","ror":"https://ror.org/03cpyc314"},{"id":"https://openalex.org/F4320320751","display_name":"Ministry of Education - Singapore","ror":"https://ror.org/01kcva023"},{"id":"https://openalex.org/F4320322724","display_name":"Ministry of Education, India","ror":"https://ror.org/048xjjh50"},{"id":"https://openalex.org/F4320331617","display_name":"National Supercomputing Centre Singapore","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412347816.pdf","grobid_xml":"https://content.openalex.org/works/W4412347816.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W1758913682","https://openalex.org/W1964821516","https://openalex.org/W2094878426","https://openalex.org/W2115826669","https://openalex.org/W2118547397","https://openalex.org/W2151536080","https://openalex.org/W2169660454","https://openalex.org/W2236948976","https://openalex.org/W2275461604","https://openalex.org/W2604440257","https://openalex.org/W2953089152","https://openalex.org/W2964396926","https://openalex.org/W2989358546","https://openalex.org/W3028996067","https://openalex.org/W3043665946","https://openalex.org/W3193877711","https://openalex.org/W3204797423","https://openalex.org/W4290052184","https://openalex.org/W4312121151","https://openalex.org/W4312721948","https://openalex.org/W4384573303"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W4220780102","https://openalex.org/W2410881844","https://openalex.org/W3196334750","https://openalex.org/W1502401885","https://openalex.org/W2004257129","https://openalex.org/W2116281088","https://openalex.org/W2357551824"],"abstract_inverted_index":{"Abstract":[0],"The":[1,167,210],"problem":[2,40],"of":[3,23,28,48,104,132,147,170,179,203,250],"model":[4,65],"counting,":[5],"also":[6],"known":[7],"as":[8],"$$\\#\\textsf{SAT}$$":[9],"<mml:math":[10,73,93,113,134,149,205,215,235,255,268,277,287],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[11,74,94,114,135,150,206,216,236,256,269,278,288],"<mml:mrow>":[12,75,95,115,217,257,279],"<mml:mo>#</mml:mo>":[13],"<mml:mi>SAT</mml:mi>":[14],"</mml:mrow>":[15,81,101,119,220,260,282],"</mml:math>":[16,82,102,120,137,152,208,221,238,261,271,283,290],",":[17,70,138,153,222,272],"is":[18,37,88,141,173],"to":[19,174,193],"compute":[20],"the":[21,85,105,176,230],"number":[22],"models":[24],"or":[25],"satisfying":[26],"assignments":[27],"a":[29,38,45,56,90,184,195,224,246,275],"given":[30],"Boolean":[31],"formula":[32],"F":[33],".":[34,121,209,239,291],"Model":[35],"counting":[36,66],"fundamental":[39],"in":[41,59,158,198],"computer":[42],"science":[43],"with":[44,108,164],"wide":[46],"range":[47],"applications.":[49],"In":[50,240],"recent":[51],"years,":[52],"there":[53],"has":[54],"been":[55],"growing":[57],"interest":[58],"using":[60],"hashing-based":[61,123,180],"techniques":[62,124],"for":[63,128,144,200],"approximate":[64],"that":[67,161,190],"provide":[68],"$$(\\varepsilon":[69],"\\delta":[71],")$$":[72,92],"<mml:mo>(</mml:mo>":[76,96],"<mml:mi>\u03b5</mml:mi>":[77,99],"<mml:mo>,</mml:mo>":[78],"<mml:mi>\u03b4</mml:mi>":[79,118,136,151,207],"<mml:mo>)</mml:mo>":[80,100],"-guarantees:":[83],"i.e.,":[84],"count":[86,107],"returned":[87],"within":[89],"$$(1+\\varepsilon":[91],"<mml:mn>1</mml:mn>":[97,116],"<mml:mo>+</mml:mo>":[98],"-factor":[103],"exact":[106],"confidence":[109],"at":[110],"least":[111],"$$1-\\delta$$":[112],"<mml:mo>-</mml:mo>":[117],"While":[122],"attain":[125],"reasonable":[126],"scalability":[127,140],"large":[129],"enough":[130],"values":[131,146,202],"$$\\delta$$":[133,148,204],"their":[139,156],"severely":[142],"impacted":[143],"smaller":[145,201],"thereby":[154],"preventing":[155],"adoption":[157],"application":[159],"domains":[160],"require":[162],"estimates":[163],"high":[165],"confidence.":[166],"primary":[168],"contribution":[169],"this":[171],"paper":[172],"address":[175],"Achilles":[177],"heel":[178],"techniques:":[181],"we":[182],"propose":[183],"novel":[185],"approach":[186],"based":[187],"on":[188],"rounding":[189],"allows":[191],"us":[192],"achieve":[194],"significant":[196],"reduction":[197],"runtime":[199,226],"resulting":[211],"counter,":[212,233],"called":[213],"$$\\textsf{ApproxMC6}$$":[214,254],"<mml:mi>ApproxMC</mml:mi>":[218,237,258,270,289],"<mml:mn>6</mml:mn>":[219,259],"achieves":[223,274],"substantial":[225],"performance":[227],"improvement":[228],"over":[229,245,285],"current":[231],"state-of-the-art":[232],"$$\\textsf{ApproxMC}$$":[234,267,286],"particular,":[241],"our":[242],"extensive":[243],"evaluation":[244],"benchmark":[247],"suite":[248],"consisting":[249],"1890":[251],"instances":[252,265],"shows":[253],"solves":[262],"204":[263],"more":[264],"than":[266],"and":[273],"$$4\\times$$":[276],"<mml:mn>4</mml:mn>":[280],"<mml:mo>\u00d7</mml:mo>":[281],"speedup":[284]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}