{"id":"https://openalex.org/W4402024966","doi":"https://doi.org/10.1016/j.artint.2024.104208","title":"Polynomial calculus for optimization","display_name":"Polynomial calculus for optimization","publication_year":2024,"publication_date":"2024-08-29","ids":{"openalex":"https://openalex.org/W4402024966","doi":"https://doi.org/10.1016/j.artint.2024.104208"},"language":"en","primary_location":{"id":"doi:10.1016/j.artint.2024.104208","doi":"https://doi.org/10.1016/j.artint.2024.104208","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2024.104208","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","doyens","erih-plus","jufo-3","norway-2"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},"volume":null,"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.artint.2024.104208","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057227296","display_name":"Ilario Bonacina","orcid":"https://orcid.org/0000-0002-5697-8070","observed_orcids":["https://orcid.org/0000-0002-5697-8070"]},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Ilario Bonacina","raw_affiliation_strings":["UPC Universitat Politecnica de Catalunya, Spain"],"raw_orcid":"https://orcid.org/0000-0002-5697-8070","affiliations":[{"raw_affiliation_string":"UPC Universitat Politecnica de Catalunya, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022258975","display_name":"Mar\u0131\u0301a Luisa Bonet","orcid":"https://orcid.org/0000-0003-1646-7177","observed_orcids":["https://orcid.org/0000-0003-1646-7177"]},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Maria Luisa Bonet","raw_affiliation_strings":["UPC Universitat Politecnica de Catalunya, Spain"],"raw_orcid":"https://orcid.org/0000-0003-1646-7177","affiliations":[{"raw_affiliation_string":"UPC Universitat Politecnica de Catalunya, Spain","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027212883","display_name":"Jordi Levy","orcid":"https://orcid.org/0000-0001-5883-5746","observed_orcids":["https://orcid.org/0000-0001-5883-5746"]},"institutions":[{"id":"https://openalex.org/I134820265","display_name":"Consejo Superior de Investigaciones Cient\u00edficas","ror":"https://ror.org/02gfc7t72","country_code":"ES","type":"government","lineage":["https://openalex.org/I134820265"]},{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jordi Levy","raw_affiliation_strings":["Artificial Intelligence Research Institute (IIIA), Spanish Research Council (CSIC), Spain"],"raw_orcid":"https://orcid.org/0000-0001-5883-5746","affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute (IIIA), Spanish Research Council (CSIC), Spain","institution_ids":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5057227296"],"corresponding_institution_ids":["https://openalex.org/I9617848"],"apc_list":{"value":4070,"currency":"USD","value_usd":4070},"apc_paid":{"value":4070,"currency":"USD","value_usd":4070},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10862396,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"337","issue":null,"first_page":"104208","last_page":"104208"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.3578999936580658,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.3578999936580658,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.3422999978065491,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.10599999874830246,"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/polynomial-calculus","display_name":"polynomial calculus","score":0.718999981880188},{"id":"https://openalex.org/keywords/maxsat","display_name":"MaxSAT","score":0.9700000286102295},{"id":"https://openalex.org/keywords/cnf-formulas","display_name":"CNF formulas","score":0.5950000286102295},{"id":"https://openalex.org/keywords/tseitin-formulas","display_name":"Tseitin formulas","score":0.847000002861023},{"id":"https://openalex.org/keywords/pigeonhole-principle","display_name":"pigeonhole principle","score":0.9959999918937683},{"id":"https://openalex.org/keywords/proof-systems","display_name":"proof systems","score":0.531000018119812},{"id":"https://openalex.org/keywords/soundness-and-completeness","display_name":"soundness and completeness","score":0.9179999828338623}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7182743549346924},{"id":"https://openalex.org/C171988527","wikidata":"https://www.wikidata.org/wiki/Q188276","display_name":"Pigeonhole principle","level":2,"score":0.6389743089675903},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.5425728559494019},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.5384732484817505},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.530768096446991},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.49205392599105835},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4408486485481262},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.4164383113384247},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.40621519088745117},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.39814338088035583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.14095774292945862},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06360110640525818},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/j.artint.2024.104208","doi":"https://doi.org/10.1016/j.artint.2024.104208","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2024.104208","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","doyens","erih-plus","jufo-3","norway-2"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:upcommons.upc.edu:2117/416840","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/2117/416840","pdf_url":"https://upcommons.upc.edu/bitstreams/67f0e61b-3740-49d3-9a52-f71798c3d6c8/download","source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"},{"id":"pmh:oai:digital.csic.es:10261/378086","doi":null,"is_oa":true,"landing_page_url":"https://api.elsevier.com/content/abstract/scopus_id/85203000186","pdf_url":null,"source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"http://purl.org/coar/resource_type/c_6501"}],"best_oa_location":{"id":"doi:10.1016/j.artint.2024.104208","doi":"https://doi.org/10.1016/j.artint.2024.104208","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.artint.2024.104208","pdf_url":null,"source":{"id":"https://openalex.org/S196139623","display_name":"Artificial Intelligence","issn_l":"0004-3702","issn":["0004-3702","1872-7921"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","doyens","erih-plus","jufo-3","norway-2"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"sustainable_development_goals_aurora":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G2764623439","display_name":null,"funder_award_id":"PID2022-138506NB-C21","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5284880062","display_name":null,"funder_award_id":"IJC2018-035334-I","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G6891804154","display_name":null,"funder_award_id":"PID2019-109137GB-C21","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7386763261","display_name":null,"funder_award_id":"PID2019-109137GB-C22","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8684520763","display_name":null,"funder_award_id":"PID2019","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G981879296","display_name":null,"funder_award_id":"PID2022-138506NB-C22","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":"https://ror.org/003x0zc53"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W1525683323","https://openalex.org/W1988083342","https://openalex.org/W2018615018","https://openalex.org/W2022749269","https://openalex.org/W2071596701","https://openalex.org/W2093396771","https://openalex.org/W2098022011","https://openalex.org/W2098642112","https://openalex.org/W2106138233","https://openalex.org/W2121015471","https://openalex.org/W2154352023","https://openalex.org/W2158442970","https://openalex.org/W2161293461","https://openalex.org/W2500165681","https://openalex.org/W2596251522","https://openalex.org/W2730215775","https://openalex.org/W2913046577","https://openalex.org/W3182818576","https://openalex.org/W4213277490","https://openalex.org/W4235047594","https://openalex.org/W4241623321","https://openalex.org/W4244448683","https://openalex.org/W4391750838","https://openalex.org/W6640861293","https://openalex.org/W6679956924","https://openalex.org/W6737379483","https://openalex.org/W6748363179","https://openalex.org/W6769936686","https://openalex.org/W6772585901","https://openalex.org/W6775144516","https://openalex.org/W6775827201","https://openalex.org/W6780099555","https://openalex.org/W6780351263","https://openalex.org/W6785720363","https://openalex.org/W6837953186","https://openalex.org/W6850635951","https://openalex.org/W6910434409"],"related_works":["https://openalex.org/W1902951782","https://openalex.org/W1521859395","https://openalex.org/W2041857712","https://openalex.org/W256057417","https://openalex.org/W2090339500","https://openalex.org/W2026967932","https://openalex.org/W2029390834","https://openalex.org/W2062058334","https://openalex.org/W2138973931","https://openalex.org/W2122706253"],"abstract_inverted_index":{"MaxSAT":[0],"is":[1,46,103,130],"the":[2,9,51,80,127],"problem":[3,25],"of":[4,12,23,29,36,50,84],"finding":[5],"an":[6,89],"assignment":[7],"satisfying":[8],"maximum":[10],"number":[11],"clauses":[13],"in":[14,67,74,97,101,120],"a":[15,20,33,47,68,112],"CNF":[16],"formula.":[17],"We":[18,78],"consider":[19],"natural":[21,48],"generalization":[22,49],"this":[24,41],"to":[26,39,105],"generic":[27],"sets":[28],"polynomials":[30,64],"and":[31,54,71,82,99],"propose":[32],"weighted":[34,55,60,85],"version":[35],"Polynomial":[37,44,61,86,93],"Calculus":[38,45,62,87],"address":[40],"problem.":[42],"Weighted":[43,92],"systems":[52],"MaxSAT-Resolution":[53],"Resolution.":[56],"Unlike":[57],"such":[58],"systems,":[59],"manipulates":[63],"with":[65,95],"coefficients":[66,100],"finite":[69],"field":[70],"either":[72],"weights":[73,96,119],"N":[75,98],"or":[76],"Z.":[77],"show":[79],"soundness":[81],"completeness":[83],"via":[88],"algorithmic":[90],"procedure.":[91],"Calculus,":[94],"F2,":[102],"able":[104],"prove":[106],"efficiently":[107,125],"that":[108,126],"Tseitin":[109],"formulas":[110],"on":[111],"connected":[113],"graph":[114],"are":[115],"minimally":[116,131],"unsatisfiable.":[117,132],"Using":[118],"Z,":[121],"it":[122],"also":[123],"proves":[124],"Pigeonhole":[128],"Principle":[129]},"counts_by_year":[],"updated_date":"2026-09-11T09:22:31.653822","created_date":"2025-10-10T00:00:00"}