{"id":"https://openalex.org/W2045851693","doi":"https://doi.org/10.1080/095281398146914","title":"Constraint propagation for ordering, abstraction, and aggregation relations","display_name":"Constraint propagation for ordering, abstraction, and aggregation relations","publication_year":1998,"publication_date":"1998-01-01","ids":{"openalex":"https://openalex.org/W2045851693","doi":"https://doi.org/10.1080/095281398146914","mag":"2045851693"},"language":"en","primary_location":{"id":"doi:10.1080/095281398146914","is_oa":false,"landing_page_url":"https://doi.org/10.1080/095281398146914","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","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/A5057318656","display_name":"Claude Le Pape","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"CLAUDE LE PAPE","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5057318656"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.20331426,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"10","issue":"1","first_page":"63","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9994999766349792,"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.9994999766349792,"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/T11106","display_name":"Data Management and Algorithms","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9905999898910522,"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/computer-science","display_name":"Computer science","score":0.8892391324043274},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6940475702285767},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6039865612983704},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4704163372516632},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.3301296830177307},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.12653344869613647}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8892391324043274},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6940475702285767},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6039865612983704},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4704163372516632},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.3301296830177307},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.12653344869613647},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1080/095281398146914","is_oa":false,"landing_page_url":"https://doi.org/10.1080/095281398146914","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547","https://openalex.org/P4310320449"],"host_organization_lineage_names":["Taylor & Francis","Informa"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6600000262260437,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W53596869","https://openalex.org/W159907047","https://openalex.org/W1562025755","https://openalex.org/W1823736747","https://openalex.org/W2004246448","https://openalex.org/W2010177735","https://openalex.org/W2011039300","https://openalex.org/W2117951622","https://openalex.org/W2127140110","https://openalex.org/W2134358914","https://openalex.org/W2148546044","https://openalex.org/W2152721940","https://openalex.org/W2153974341","https://openalex.org/W2610826712"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2045155990","https://openalex.org/W2376932109","https://openalex.org/W4313163053","https://openalex.org/W4388675521","https://openalex.org/W2108135022","https://openalex.org/W3148810651","https://openalex.org/W2898772359"],"abstract_inverted_index":{".":[0],"Characteristics":[1],"of":[2,11,25,31,54,81,96,114,143],"the":[3,22,29,36,45,62,71,97,111,141],"relation":[4],"that":[5,77],"links":[6],"two":[7],"or":[8],"more":[9],"variables":[10,34],"a":[12,39,52,58,68,78,94,162],"constraint":[13,26],"satisfaction":[14],"problem":[15,63,122,149],"can":[16],"often":[17],"be":[18,86,132,159],"exploited":[19],"to:":[20],"reduce":[21],"computational":[23],"burden":[24],"propagation;":[27],"avoid":[28],"instantiation":[30],"some":[32,42,49],"auxiliary":[33],"during":[35],"search":[37],"for":[38,51,134,150],"solution;":[40],"retain":[41],"flexibility":[43],"in":[44,140,171],"\u2018solution\u2019,":[46],"i.e.":[47,84],"provide":[48,67],"specification":[50],"set":[53,80],"solutions,":[55],"rather":[56],"than":[57],"unique":[59],"solution":[60],"to":[61,91,103,131,158],"under":[64],"consideration;":[65],"and":[66,117,126,152,161,173],"simpler":[69],"explanationof":[70],"failure":[72],"when":[73],"it":[74],"is":[75,99,101,129,155,166],"proven":[76],"given":[79],"constraints":[82,98],"conflict,":[83],"cannot":[85],"simultaneously":[87],"satisfied.":[88],"The":[89,120,147],"ability":[90],"test":[92],"whether":[93],"subset":[95],"consistent":[100],"important":[102],"determine":[104],"which":[105],"contraints":[106],"conflict.":[107],"This":[108],"paper":[109],"studies":[110],"particular":[112,163],"cases":[113],"ordering,":[115],"abstraction,":[116],"aggregation":[118,153],"constraints.":[119],"consistency":[121,148],"with":[123,168],"both":[124],"strict":[125],"non-strict":[127],"inequalities":[128],"shown":[130,157],"polynomial":[133,164],"totally":[135],"ordered":[136,145],"sets,":[137],"but":[138],"NP-hard":[139],"case":[142,165],"partially":[144],"sets.":[146],"abstraction":[151],"relations":[154],"also":[156],"NP-hard,":[160],"proposed,":[167],"possible":[169],"applications":[170],"design":[172],"configuration.":[174]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-08-15T07:11:24.734988","created_date":"2025-10-10T00:00:00"}