{"id":"https://openalex.org/W1512988629","doi":"https://doi.org/10.1023/a:1009894810205","title":"Increasing Constraint Propagation by Redundant Modeling: an Experience Report","display_name":"Increasing Constraint Propagation by Redundant Modeling: an Experience Report","publication_year":1999,"publication_date":"1999-05-01","ids":{"openalex":"https://openalex.org/W1512988629","doi":"https://doi.org/10.1023/a:1009894810205","mag":"1512988629"},"language":"en","primary_location":{"id":"doi:10.1023/a:1009894810205","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1009894810205","pdf_url":null,"source":{"id":"https://openalex.org/S75534514","display_name":"Constraints","issn_l":"1383-7133","issn":["1383-7133","1572-9354"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Constraints","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/A5109635975","display_name":"B. M. W. Cheng","orcid":null},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"B. M. W. Cheng","raw_affiliation_strings":["Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, N. T., Hong Kong, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, N. T., Hong Kong, China#TAB#","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083323426","display_name":"Kenneth M.F. Choi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"K. M. F. Choi","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060800068","display_name":"J. H. M. Lee","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. H. M. Lee","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101570407","display_name":"Jianhuang Wu","orcid":"https://orcid.org/0000-0001-5188-2021"},"institutions":[{"id":"https://openalex.org/I177725633","display_name":"Chinese University of Hong Kong","ror":"https://ror.org/00t33hh48","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"J. C. K. Wu","raw_affiliation_strings":["Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong, China","Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, N. T., Hong Kong, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, N.T., Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Department of Computer Science and Engineering, The Chinese University of Hong Kong, Shatin, N. T., Hong Kong, China#TAB#","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5109635975"],"corresponding_institution_ids":["https://openalex.org/I177725633"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":4.0326,"has_fulltext":false,"cited_by_count":81,"citation_normalized_percentile":{"value":0.93747715,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"4","issue":"2","first_page":"167","last_page":"192"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9995999932289124,"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.9995999932289124,"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.9937000274658203,"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/T12401","display_name":"Scheduling and Timetabling Solutions","score":0.9818999767303467,"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/computer-science","display_name":"Computer science","score":0.7435917258262634},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.7169981598854065},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.6188822984695435},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6110250353813171},{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.5775672793388367},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.5590664744377136},{"id":"https://openalex.org/keywords/constraint-programming","display_name":"Constraint programming","score":0.53645920753479},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4731287360191345},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.44382333755493164},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4388004541397095},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33509135246276855},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3264169692993164},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.32472750544548035},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.27455171942710876},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2095944881439209},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13982295989990234},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10176867246627808}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7435917258262634},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.7169981598854065},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.6188822984695435},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6110250353813171},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.5775672793388367},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.5590664744377136},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.53645920753479},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4731287360191345},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.44382333755493164},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4388004541397095},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33509135246276855},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3264169692993164},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.32472750544548035},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27455171942710876},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2095944881439209},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13982295989990234},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10176867246627808},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C137631369","wikidata":"https://www.wikidata.org/wiki/Q7617831","display_name":"Stochastic programming","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/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1009894810205","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1009894810205","pdf_url":null,"source":{"id":"https://openalex.org/S75534514","display_name":"Constraints","issn_l":"1383-7133","issn":["1383-7133","1572-9354"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Constraints","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5099999904632568,"id":"https://metadata.un.org/sdg/12","display_name":"Responsible consumption and production"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W33050995","https://openalex.org/W64392954","https://openalex.org/W65937437","https://openalex.org/W78269797","https://openalex.org/W129080167","https://openalex.org/W164193862","https://openalex.org/W191158873","https://openalex.org/W191924552","https://openalex.org/W1488938885","https://openalex.org/W1530466006","https://openalex.org/W1581119572","https://openalex.org/W1585379439","https://openalex.org/W1597474747","https://openalex.org/W1986945006","https://openalex.org/W1988095917","https://openalex.org/W1988879890","https://openalex.org/W1993850412","https://openalex.org/W2002478775","https://openalex.org/W2024182184","https://openalex.org/W2043193943","https://openalex.org/W2043829066","https://openalex.org/W2052092971","https://openalex.org/W2061734130","https://openalex.org/W2068852367","https://openalex.org/W2076935161","https://openalex.org/W2085716817","https://openalex.org/W2088174216","https://openalex.org/W2090894197","https://openalex.org/W2096138715","https://openalex.org/W2096200006","https://openalex.org/W2097229153","https://openalex.org/W2099266627","https://openalex.org/W2106856275","https://openalex.org/W2112957923","https://openalex.org/W2121766240","https://openalex.org/W2122122350","https://openalex.org/W2131673997","https://openalex.org/W2135432705","https://openalex.org/W2138037655","https://openalex.org/W2145490775","https://openalex.org/W2148546044","https://openalex.org/W2161616565","https://openalex.org/W2171151208","https://openalex.org/W2614410808","https://openalex.org/W2752885492","https://openalex.org/W2984454117","https://openalex.org/W4285719527","https://openalex.org/W6602722155","https://openalex.org/W6607799402","https://openalex.org/W6629313608","https://openalex.org/W6635490985","https://openalex.org/W6661110980","https://openalex.org/W6680064427"],"related_works":["https://openalex.org/W4303044088","https://openalex.org/W1486916474","https://openalex.org/W2049055139","https://openalex.org/W2140769824","https://openalex.org/W115413730","https://openalex.org/W2032348095","https://openalex.org/W2495408185","https://openalex.org/W2524435840","https://openalex.org/W2520084020","https://openalex.org/W2156897434"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2016-06-24T00:00:00"}