{"id":"https://openalex.org/W2125639421","doi":"https://doi.org/10.1145/1734213.1734217","title":"Set constraints with projections","display_name":"Set constraints with projections","publication_year":2010,"publication_date":"2010-04-01","ids":{"openalex":"https://openalex.org/W2125639421","doi":"https://doi.org/10.1145/1734213.1734217","mag":"2125639421"},"language":"en","primary_location":{"id":"doi:10.1145/1734213.1734217","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1734213.1734217","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"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":"Journal of the ACM","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/A5017482307","display_name":"Witold Charatonik Leszek Pacholski","orcid":null},"institutions":[{"id":"https://openalex.org/I219388962","display_name":"University of Wroc\u0142aw","ror":"https://ror.org/00yae6e25","country_code":"PL","type":"education","lineage":["https://openalex.org/I219388962"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Witold Charatonik Leszek Pacholski","raw_affiliation_strings":["University of Wroc\u0142aw, Wroc\u0142aw, Poland"],"affiliations":[{"raw_affiliation_string":"University of Wroc\u0142aw, Wroc\u0142aw, Poland","institution_ids":["https://openalex.org/I219388962"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5017482307"],"corresponding_institution_ids":["https://openalex.org/I219388962"],"apc_list":null,"apc_paid":null,"fwci":1.3381,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.81566927,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"57","issue":"4","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980000257492065,"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.9980000257492065,"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/T10126","display_name":"Logic, programming, and type systems","score":0.996399998664856,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9864000082015991,"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/complement","display_name":"Complement (music)","score":0.5960683226585388},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5756779313087463},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5669146180152893},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.5115578770637512},{"id":"https://openalex.org/keywords/set-function","display_name":"Set function","score":0.4975638687610626},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49315518140792847},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.45994919538497925},{"id":"https://openalex.org/keywords/set-operations","display_name":"Set operations","score":0.4554166793823242},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4546326994895935},{"id":"https://openalex.org/keywords/natural-number","display_name":"Natural number","score":0.4251921772956848},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.41027650237083435},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.33086884021759033},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.32598641514778137},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10676783323287964}],"concepts":[{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.5960683226585388},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5756779313087463},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5669146180152893},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5115578770637512},{"id":"https://openalex.org/C15312841","wikidata":"https://www.wikidata.org/wiki/Q1657198","display_name":"Set function","level":3,"score":0.4975638687610626},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49315518140792847},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.45994919538497925},{"id":"https://openalex.org/C2777168461","wikidata":"https://www.wikidata.org/wiki/Q42196253","display_name":"Set operations","level":3,"score":0.4554166793823242},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4546326994895935},{"id":"https://openalex.org/C184264201","wikidata":"https://www.wikidata.org/wiki/Q21199","display_name":"Natural number","level":2,"score":0.4251921772956848},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.41027650237083435},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33086884021759033},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.32598641514778137},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10676783323287964},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1734213.1734217","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1734213.1734217","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"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":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.6499999761581421,"display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G2638946320","display_name":null,"funder_award_id":"CCF-0502793","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"}],"funders":[{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W26772505","https://openalex.org/W1485789630","https://openalex.org/W1497421929","https://openalex.org/W1503204116","https://openalex.org/W1509382141","https://openalex.org/W1510221175","https://openalex.org/W1516382534","https://openalex.org/W1517088296","https://openalex.org/W1523878602","https://openalex.org/W1531074043","https://openalex.org/W1539211927","https://openalex.org/W1563226317","https://openalex.org/W1566371091","https://openalex.org/W1570783318","https://openalex.org/W1581551064","https://openalex.org/W1598816868","https://openalex.org/W1605111646","https://openalex.org/W1886159700","https://openalex.org/W1941645576","https://openalex.org/W1977793919","https://openalex.org/W1999968383","https://openalex.org/W2018355692","https://openalex.org/W2019602791","https://openalex.org/W2021680514","https://openalex.org/W2039226338","https://openalex.org/W2040152339","https://openalex.org/W2067422029","https://openalex.org/W2076696436","https://openalex.org/W2098303102","https://openalex.org/W2098994345","https://openalex.org/W2103933902","https://openalex.org/W2120254577","https://openalex.org/W2124266137","https://openalex.org/W2130399244","https://openalex.org/W2133654517","https://openalex.org/W2139084674","https://openalex.org/W2162687540","https://openalex.org/W2163545305","https://openalex.org/W2165243410","https://openalex.org/W2180114379","https://openalex.org/W2561675875","https://openalex.org/W2604337442","https://openalex.org/W4213232664","https://openalex.org/W6634590360"],"related_works":["https://openalex.org/W2990978680","https://openalex.org/W2373335756","https://openalex.org/W3169083941","https://openalex.org/W2065016859","https://openalex.org/W2638533972","https://openalex.org/W2073482426","https://openalex.org/W4242736492","https://openalex.org/W2008990045","https://openalex.org/W578461542","https://openalex.org/W2391894670"],"abstract_inverted_index":{"Set":[0],"constraints":[1,29,73,115],"form":[2],"a":[3,18,45,49,108,111],"constraint":[4],"system":[5,112],"where":[6],"variables":[7],"range":[8],"over":[9,37],"the":[10,56,69,79,103],"domain":[11],"of":[12,14,32,51,59,71,105,107,110,113],"sets":[13],"trees.":[15],"They":[16],"give":[17],"natural":[19],"formalism":[20],"for":[21],"many":[22],"problems":[23],"in":[24,68,92,119],"program":[25,93],"analysis.":[26],"Syntactically,":[27],"set":[28,52,60,72,114],"are":[30,66],"conjunctions":[31],"inclusions":[33],"between":[34],"expressions":[35],"built":[36],"variables,":[38],"constructors":[39],"(constants":[40],"and":[41,48,87,89,121],"function":[42],"symbols":[43],"from":[44],"given":[46],"signature)":[47],"choice":[50],"operators":[53,84],"that":[54,91,102,123],"defines":[55],"specific":[57],"class":[58,70,80],"constraints.":[61],"In":[62],"this":[63],"article,":[64],"we":[65],"interested":[67],"with":[74,81,116],"projections":[75,90,117],",":[76],"which":[77],"is":[78,118,125],"all":[82],"Boolean":[83],"(union,":[85],"intersection":[86],"complement)":[88],"analysis":[94],"directly":[95],"correspond":[96],"to":[97],"type":[98],"destructors.":[99],"We":[100],"prove":[101],"problem":[104],"existence":[106],"solution":[109],"NEXPTIME,":[120],"thus":[122],"it":[124],"NEXPTIME-complete.":[126]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}