{"id":"https://openalex.org/W2739637117","doi":"https://doi.org/10.24963/ijcai.2017/126","title":"Classical Generalized Probabilistic Satisfiability","display_name":"Classical Generalized Probabilistic Satisfiability","publication_year":2017,"publication_date":"2017-07-28","ids":{"openalex":"https://openalex.org/W2739637117","doi":"https://doi.org/10.24963/ijcai.2017/126","mag":"2739637117"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2017/126","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/126","pdf_url":"https://www.ijcai.org/proceedings/2017/0126.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2017/0126.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006730208","display_name":"Carlos Caleiro","orcid":"https://orcid.org/0000-0001-5587-6585"},"institutions":[{"id":"https://openalex.org/I4210105462","display_name":"Lus\u00edada University of Lisbon","ror":"https://ror.org/00zjprf31","country_code":"PT","type":"education","lineage":["https://openalex.org/I4210105462","https://openalex.org/I4401200244"]},{"id":"https://openalex.org/I4210147133","display_name":"Escuela Tecnol\u00f3gica Instituto T\u00e9cnico Central","ror":"https://ror.org/04kbsj707","country_code":"CO","type":"education","lineage":["https://openalex.org/I4210147133"]},{"id":"https://openalex.org/I4387152517","display_name":"Instituto Superior T\u00e9cnico","ror":"https://ror.org/03db2by73","country_code":null,"type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]},{"id":"https://openalex.org/I4210120471","display_name":"Instituto de Telecomunica\u00e7\u00f5es","ror":"https://ror.org/02ht4fk33","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210120471"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["CO","PT"],"is_corresponding":true,"raw_author_name":"Carlos Caleiro","raw_affiliation_strings":["DMath, Instituto Superior T\u00e9cnico","SQIG - Instituto de Telecomunica\u00e7\u00f5es","Universidade de Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"DMath, Instituto Superior T\u00e9cnico","institution_ids":["https://openalex.org/I4210147133","https://openalex.org/I4387152517"]},{"raw_affiliation_string":"SQIG - Instituto de Telecomunica\u00e7\u00f5es","institution_ids":["https://openalex.org/I4210120471"]},{"raw_affiliation_string":"Universidade de Lisboa, Portugal","institution_ids":["https://openalex.org/I4210105462","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091679700","display_name":"Filipe Casal","orcid":"https://orcid.org/0000-0003-1406-9183"},"institutions":[{"id":"https://openalex.org/I4387152517","display_name":"Instituto Superior T\u00e9cnico","ror":"https://ror.org/03db2by73","country_code":null,"type":"education","lineage":["https://openalex.org/I141596103","https://openalex.org/I4387152517"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]},{"id":"https://openalex.org/I4210147133","display_name":"Escuela Tecnol\u00f3gica Instituto T\u00e9cnico Central","ror":"https://ror.org/04kbsj707","country_code":"CO","type":"education","lineage":["https://openalex.org/I4210147133"]},{"id":"https://openalex.org/I4210105462","display_name":"Lus\u00edada University of Lisbon","ror":"https://ror.org/00zjprf31","country_code":"PT","type":"education","lineage":["https://openalex.org/I4210105462","https://openalex.org/I4401200244"]}],"countries":["CO","PT"],"is_corresponding":false,"raw_author_name":"Filipe Casal","raw_affiliation_strings":["CMAF-CIO, Portugal","DMath, Instituto Superior T\u00e9cnico","Universidade de Lisboa, Portugal"],"affiliations":[{"raw_affiliation_string":"CMAF-CIO, Portugal","institution_ids":[]},{"raw_affiliation_string":"DMath, Instituto Superior T\u00e9cnico","institution_ids":["https://openalex.org/I4210147133","https://openalex.org/I4387152517"]},{"raw_affiliation_string":"Universidade de Lisboa, Portugal","institution_ids":["https://openalex.org/I4210105462","https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066863234","display_name":"Andreia Mordido","orcid":"https://orcid.org/0000-0002-1547-0692"},"institutions":[{"id":"https://openalex.org/I4210103604","display_name":"Instituto de Novas Tecnologias","ror":"https://ror.org/00we1pa83","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210103604","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I4210125590","display_name":"Institute for Systems Engineering and Computers","ror":"https://ror.org/033wn8m60","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Andreia Mordido","raw_affiliation_strings":["INOV INESC Inova\u00e7\u00e3o, Portugal"],"affiliations":[{"raw_affiliation_string":"INOV INESC Inova\u00e7\u00e3o, Portugal","institution_ids":["https://openalex.org/I4210103604","https://openalex.org/I4210125590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5006730208"],"corresponding_institution_ids":["https://openalex.org/I141596103","https://openalex.org/I4210105462","https://openalex.org/I4210120471","https://openalex.org/I4210147133","https://openalex.org/I4387152517"],"apc_list":null,"apc_paid":null,"fwci":0.6813,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72044951,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"908","last_page":"914"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","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.9966999888420105,"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/satisfiability","display_name":"Satisfiability","score":0.8285007476806641},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7519092559814453},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6917117834091187},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5821876525878906},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.5725799202919006},{"id":"https://openalex.org/keywords/maximum-satisfiability-problem","display_name":"Maximum satisfiability problem","score":0.5623177886009216},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5445575714111328},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.514472484588623},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4732150137424469},{"id":"https://openalex.org/keywords/dpll-algorithm","display_name":"DPLL algorithm","score":0.46864956617355347},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.28808456659317017},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.21274685859680176},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07879868149757385}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.8285007476806641},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7519092559814453},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6917117834091187},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5821876525878906},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.5725799202919006},{"id":"https://openalex.org/C111797529","wikidata":"https://www.wikidata.org/wiki/Q17080584","display_name":"Maximum satisfiability problem","level":3,"score":0.5623177886009216},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5445575714111328},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.514472484588623},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4732150137424469},{"id":"https://openalex.org/C143936061","wikidata":"https://www.wikidata.org/wiki/Q2030088","display_name":"DPLL algorithm","level":4,"score":0.46864956617355347},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28808456659317017},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.21274685859680176},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07879868149757385},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C12707504","wikidata":"https://www.wikidata.org/wiki/Q52637","display_name":"Phase-locked loop","level":3,"score":0.0},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2017/126","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/126","pdf_url":"https://www.ijcai.org/proceedings/2017/0126.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2017/126","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2017/126","pdf_url":"https://www.ijcai.org/proceedings/2017/0126.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.47999998927116394}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2739637117.pdf","grobid_xml":"https://content.openalex.org/works/W2739637117.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W193266801","https://openalex.org/W1529928857","https://openalex.org/W1531464635","https://openalex.org/W2036265926","https://openalex.org/W2212155158","https://openalex.org/W2245837720","https://openalex.org/W2486886792","https://openalex.org/W2642916709","https://openalex.org/W2914795094","https://openalex.org/W4231570205"],"related_works":["https://openalex.org/W2301405299","https://openalex.org/W2796388654","https://openalex.org/W2080871662","https://openalex.org/W3124721760","https://openalex.org/W2332241156","https://openalex.org/W2061097805","https://openalex.org/W2408080066","https://openalex.org/W2014111643","https://openalex.org/W2498042365","https://openalex.org/W2085380335"],"abstract_inverted_index":{"We":[0],"analyze":[1],"a":[2,51,76,95],"classical":[3,24],"generalized":[4],"probabilistic":[5,36],"satisfiability":[6,14,32],"problem":[7,33],"(GGenPSAT)":[8],"which":[9],"consists":[10],"in":[11],"deciding":[12],"the":[13,31,35,59,79],"of":[15,18,23,34,38,54,62],"Boolean":[16],"combinations":[17],"linear":[19,63],"inequalities":[20],"involving":[21],"probabilities":[22],"propositional":[25],"formulas.":[26],"GGenPSAT":[27,55,80],"coincides":[28],"precisely":[29],"with":[30],"logic":[37],"Fagin":[39],"et":[40],"al.":[41],"and":[42,65,74],"was":[43],"proved":[44],"to":[45,56,93],"be":[46],"NP-complete.":[47],"Here,":[48],"we":[49,72,90],"present":[50],"polynomial":[52],"reduction":[53],"SMT":[57],"over":[58],"quantifier-free":[60],"theory":[61],"integer":[64],"real":[66],"arithmetic.":[67],"Capitalizing":[68],"on":[69],"this":[70],"translation,":[71],"implement":[73],"test":[75],"solver":[77],"for":[78,85,99],"problem.":[81],"As":[82],"previously":[83],"observed":[84],"many":[86],"other":[87],"NP-complete":[88],"problems,":[89],"are":[91],"able":[92],"detect":[94],"phase":[96],"transition":[97],"behavior":[98],"GGenPSAT.":[100]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}