{"id":"https://openalex.org/W1971402327","doi":"https://doi.org/10.1145/2629498","title":"Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions","display_name":"Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions","publication_year":2014,"publication_date":"2014-09-09","ids":{"openalex":"https://openalex.org/W1971402327","doi":"https://doi.org/10.1145/2629498","mag":"1971402327"},"language":"en","primary_location":{"id":"doi:10.1145/2629498","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2629498","pdf_url":null,"source":{"id":"https://openalex.org/S201104086","display_name":"ACM Journal of Experimental Algorithmics","issn_l":"1084-6654","issn":["1084-6654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal of Experimental Algorithmics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5021786062","display_name":"Claudio Angione","orcid":"https://orcid.org/0000-0002-3140-7909"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Claudio Angione","raw_affiliation_strings":["Computer Laboratory, University of Cambridge, UK","Computer Laboratory , University of Cambridge , UK"],"affiliations":[{"raw_affiliation_string":"Computer Laboratory, University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Computer Laboratory , University of Cambridge , UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066233597","display_name":"Annalisa Occhipinti","orcid":"https://orcid.org/0000-0001-6075-1496"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Annalisa Occhipinti","raw_affiliation_strings":["Computer Laboratory, University of Cambridge, UK","Computer Laboratory , University of Cambridge , UK"],"affiliations":[{"raw_affiliation_string":"Computer Laboratory, University of Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Computer Laboratory , University of Cambridge , UK","institution_ids":["https://openalex.org/I241749"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026158192","display_name":"Giuseppe Nicosia","orcid":"https://orcid.org/0000-0002-0650-3157"},"institutions":[{"id":"https://openalex.org/I39063666","display_name":"University of Catania","ror":"https://ror.org/03a64bh57","country_code":"IT","type":"education","lineage":["https://openalex.org/I39063666"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Nicosia","raw_affiliation_strings":["Department of Mathematics and Computer Science - University of Catania and Institute for Advanced Studies, Italy","Department of Mathematics and Computer Science - University of Catania and Institute for Advanced Studies, Italy#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science - University of Catania and Institute for Advanced Studies, Italy","institution_ids":["https://openalex.org/I39063666"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science - University of Catania and Institute for Advanced Studies, Italy#TAB#","institution_ids":["https://openalex.org/I39063666"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5021786062"],"corresponding_institution_ids":["https://openalex.org/I241749"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.05878927,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"19","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9987000226974487,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9987000226974487,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9944000244140625,"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"}},{"id":"https://openalex.org/T10050","display_name":"Multi-Criteria Decision Making","score":0.9940999746322632,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.661552906036377},{"id":"https://openalex.org/keywords/entropy","display_name":"Entropy (arrow of time)","score":0.5372903347015381},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4856928288936615},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.48140692710876465},{"id":"https://openalex.org/keywords/boltzmann-machine","display_name":"Boltzmann machine","score":0.43715041875839233},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4334486126899719},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.43072906136512756},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.358055979013443},{"id":"https://openalex.org/keywords/statistical-physics","display_name":"Statistical physics","score":0.34782370924949646},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3275599479675293},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.18156176805496216},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.14408141374588013},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.128078430891037},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10875752568244934}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.661552906036377},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.5372903347015381},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4856928288936615},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.48140692710876465},{"id":"https://openalex.org/C192576344","wikidata":"https://www.wikidata.org/wiki/Q194706","display_name":"Boltzmann machine","level":3,"score":0.43715041875839233},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4334486126899719},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.43072906136512756},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.358055979013443},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.34782370924949646},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3275599479675293},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.18156176805496216},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.14408141374588013},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.128078430891037},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10875752568244934},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2629498","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2629498","pdf_url":null,"source":{"id":"https://openalex.org/S201104086","display_name":"ACM Journal of Experimental Algorithmics","issn_l":"1084-6654","issn":["1084-6654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Journal of Experimental Algorithmics","raw_type":"journal-article"},{"id":"pmh:oai:https://research.tees.ac.uk/ws/oai:openaire/dbe0ba68-210f-498e-8a20-d0f911745510","is_oa":false,"landing_page_url":"https://research.tees.ac.uk/en/publications/dbe0ba68-210f-498e-8a20-d0f911745510","pdf_url":null,"source":{"id":"https://openalex.org/S4306401198","display_name":"TeesRep (Teesside University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I874055015","host_organization_name":"Teesside University","host_organization_lineage":["https://openalex.org/I874055015"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Angione, C, Occhipinti, A & Nicosia, G 2015, 'Satisfiability by Maxwell-Boltzmann and Bose-Einstein Statistical Distributions', Journal of Experimental Algorithmics, pp. -. https://doi.org/10.1145/2629498","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.703.1638","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.703.1638","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.dmi.unict.it/nicosia/papers/journals/Nicosia-J-Experimental-Algorithms-2014.pdf","raw_type":"text"},{"id":"pmh:oai:tees.openrepository.com:10149/601129","is_oa":false,"landing_page_url":"http://hdl.handle.net/10149/601129","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W4983232","https://openalex.org/W156009831","https://openalex.org/W222812337","https://openalex.org/W1485898611","https://openalex.org/W1506255457","https://openalex.org/W1511172613","https://openalex.org/W1518885151","https://openalex.org/W1530768820","https://openalex.org/W1536930200","https://openalex.org/W1649252162","https://openalex.org/W1650993530","https://openalex.org/W1971443820","https://openalex.org/W1987869562","https://openalex.org/W1996338626","https://openalex.org/W1998335356","https://openalex.org/W2033523048","https://openalex.org/W2037361138","https://openalex.org/W2046552224","https://openalex.org/W2048239613","https://openalex.org/W2056640952","https://openalex.org/W2068322802","https://openalex.org/W2077542038","https://openalex.org/W2090435952","https://openalex.org/W2094989151","https://openalex.org/W2096497777","https://openalex.org/W2122882636","https://openalex.org/W2164322797","https://openalex.org/W2197034439","https://openalex.org/W2602753196","https://openalex.org/W2752885492","https://openalex.org/W2963426933","https://openalex.org/W3101120535","https://openalex.org/W3145128584","https://openalex.org/W4231759410"],"related_works":["https://openalex.org/W2408080066","https://openalex.org/W2394616262","https://openalex.org/W2406837904","https://openalex.org/W3152212242","https://openalex.org/W2014111643","https://openalex.org/W2102364390","https://openalex.org/W2336941104","https://openalex.org/W1913543287","https://openalex.org/W2571882453","https://openalex.org/W4211028879"],"abstract_inverted_index":{"Recent":[0],"studies":[1],"in":[2,63,75,129,139,195],"theoretical":[3],"computer":[4],"science":[5],"have":[6],"exploited":[7],"new":[8,107,147],"algorithms":[9],"and":[10,20,43,55,156,160],"methodologies":[11],"based":[12,104,153,180],"on":[13,105,154,164,181,186],"statistical":[14,158],"physics":[15],"for":[16,149],"investigating":[17],"the":[18,21,24,33,64,70,76,79,82,91,101,116,130,134,140,150,175,178,182,187,196],"structure":[19],"properties":[22],"of":[23,32,78,100,109,111,118,124,136,177],"Satisfiability":[25],"(SAT)":[26],"problem.":[27],"We":[28,47,171],"propose":[29],"a":[30,37,49,59,97,106],"characterization":[31],"SAT":[34,53,102,126,166,197],"problem":[35,103,152],"as":[36,133,193],"physical":[38],"system,":[39],"using":[40],"both":[41],"quantum":[42,71,155],"classical":[44,157],"statistical-physical":[45],"models.":[46],"associate":[48],"graph":[50],"to":[51,190],"an":[52,112,125],"instance":[54,65,127,141],"we":[56,89,144,161],"prove":[57,173],"that":[58,174],"Bose-Einstein":[60],"condensation":[61],"occurs":[62],"with":[66,168],"higher":[67],"probability":[68],"if":[69,88],"distribution":[72],"is":[73,85],"adopted":[74],"generation":[77],"graph.":[80],"Conversely,":[81],"fit-get-rich":[83],"behavior":[84],"more":[86],"likely":[87],"adopt":[90],"Maxwell-Boltzmann":[92],"distribution.":[93],"Our":[94],"method":[95],"allows":[96],"comprehensive":[98],"analysis":[99],"definition":[108],"entropy":[110,123],"instance,":[113],"without":[114],"requiring":[115],"computation":[117],"its":[119],"truth":[120],"assignments.":[121],"The":[122],"increases":[128],"satisfiability":[131],"region":[132],"number":[135],"free":[137],"variables":[138],"increases.":[142],"Finally,":[143],"develop":[145],"six":[146],"solvers":[148,179],"MaxSAT":[151],"distributions,":[159],"test":[162],"them":[163],"random":[165],"instances,":[167],"competitive":[169],"results.":[170],"experimentally":[172],"performance":[176],"two":[183],"distributions":[184],"depends":[185],"criterion":[188],"used":[189],"flag":[191],"clauses":[192],"satisfied":[194],"solving":[198],"process.":[199]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}