{"id":"https://openalex.org/W2127313676","doi":"https://doi.org/10.1109/tai.2003.1250229","title":"Progressive stochastic search for solving constraint satisfaction problems","display_name":"Progressive stochastic search for solving constraint satisfaction problems","publication_year":2004,"publication_date":"2004-03-01","ids":{"openalex":"https://openalex.org/W2127313676","doi":"https://doi.org/10.1109/tai.2003.1250229","mag":"2127313676"},"language":"en","primary_location":{"id":"doi:10.1109/tai.2003.1250229","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tai.2003.1250229","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence","raw_type":"proceedings-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/A5058274588","display_name":"Ben C. P. Lam","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. Chi-ho Lam","raw_affiliation_strings":["Department of Computer Science and Engineering, Chinese University of Hong Kong, Sha Tin, Hong Kong, China","Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Chinese University of Hong Kong, Sha Tin, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, China#TAB#","institution_ids":["https://openalex.org/I177725633"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022683388","display_name":"Ho-fung Leung","orcid":"https://orcid.org/0000-0003-4914-2934"},"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":"Ho-fung Leung","raw_affiliation_strings":["Department of Computer Science and Engineering, Chinese University of Hong Kong, Sha Tin, Hong Kong, China","Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, China#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Chinese University of Hong Kong, Sha Tin, Hong Kong, China","institution_ids":["https://openalex.org/I177725633"]},{"raw_affiliation_string":"Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, China#TAB#","institution_ids":["https://openalex.org/I177725633"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5058274588"],"corresponding_institution_ids":["https://openalex.org/I177725633"],"apc_list":null,"apc_paid":null,"fwci":0.927,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.80621559,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"487","last_page":"491"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998999834060669,"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.9998999834060669,"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.9955000281333923,"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.9793999791145325,"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/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.7717584371566772},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6181284785270691},{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.6020083427429199},{"id":"https://openalex.org/keywords/local-search","display_name":"Local search (optimization)","score":0.581512451171875},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5578683614730835},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5379852056503296},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5360880494117737},{"id":"https://openalex.org/keywords/stochastic-optimization","display_name":"Stochastic optimization","score":0.5329170227050781},{"id":"https://openalex.org/keywords/maxima-and-minima","display_name":"Maxima and minima","score":0.514346718788147},{"id":"https://openalex.org/keywords/constraint-satisfaction","display_name":"Constraint satisfaction","score":0.48137834668159485},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4485428035259247},{"id":"https://openalex.org/keywords/local-optimum","display_name":"Local optimum","score":0.4339931905269623},{"id":"https://openalex.org/keywords/binary-constraint","display_name":"Binary constraint","score":0.4225197732448578},{"id":"https://openalex.org/keywords/local-consistency","display_name":"Local consistency","score":0.39009276032447815},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35511070489883423},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22274470329284668}],"concepts":[{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.7717584371566772},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6181284785270691},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.6020083427429199},{"id":"https://openalex.org/C135320971","wikidata":"https://www.wikidata.org/wiki/Q1868524","display_name":"Local search (optimization)","level":2,"score":0.581512451171875},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5578683614730835},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5379852056503296},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5360880494117737},{"id":"https://openalex.org/C194387892","wikidata":"https://www.wikidata.org/wiki/Q1747770","display_name":"Stochastic optimization","level":2,"score":0.5329170227050781},{"id":"https://openalex.org/C186633575","wikidata":"https://www.wikidata.org/wiki/Q845060","display_name":"Maxima and minima","level":2,"score":0.514346718788147},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.48137834668159485},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4485428035259247},{"id":"https://openalex.org/C141934464","wikidata":"https://www.wikidata.org/wiki/Q3305386","display_name":"Local optimum","level":2,"score":0.4339931905269623},{"id":"https://openalex.org/C79475747","wikidata":"https://www.wikidata.org/wiki/Q4913885","display_name":"Binary constraint","level":5,"score":0.4225197732448578},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.39009276032447815},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35511070489883423},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22274470329284668},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tai.2003.1250229","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tai.2003.1250229","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 15th IEEE International Conference on Tools with Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W13289598","https://openalex.org/W1502527706","https://openalex.org/W1526749820","https://openalex.org/W1880321215","https://openalex.org/W2017316854","https://openalex.org/W2104670598","https://openalex.org/W2121766240","https://openalex.org/W2131818603","https://openalex.org/W2135432705","https://openalex.org/W2166166917","https://openalex.org/W4246598646","https://openalex.org/W6600528508","https://openalex.org/W6630207426","https://openalex.org/W6639251120"],"related_works":["https://openalex.org/W2141935412","https://openalex.org/W96881443","https://openalex.org/W1486916474","https://openalex.org/W2737098235","https://openalex.org/W2354343466","https://openalex.org/W1547037969","https://openalex.org/W2091348864","https://openalex.org/W2017710358","https://openalex.org/W2032348095","https://openalex.org/W2148600103"],"abstract_inverted_index":{"Stochastic":[0],"search":[1,40,69,139],"methods":[2],"have":[3],"attracted":[4],"much":[5],"attention":[6],"of":[7,137],"the":[8,37,68,83,135],"constraint":[9],"satisfaction":[10],"problem":[11],"(CSP)":[12],"research":[13,132],"community.":[14],"Traditionally,":[15],"a":[16,51,57,78],"stochastic":[17,39,138],"solver":[18],"escapes":[19],"from":[20],"local":[21,84],"optima":[22],"or":[23,29],"leaves":[24],"plateaus":[25],"by":[26,77],"random":[27,105],"restart":[28],"heuristic":[30],"learning.":[31],"In":[32],"this":[33,92],"paper,":[34],"we":[35],"propose":[36],"progressive":[38],"(PSS)":[41],"and":[42,86,109,122],"its":[43],"variants":[44],"for":[45],"solving":[46],"binary":[47],"CSPs,":[48,111],"in":[49,101,118,134],"which":[50],"variable":[52],"always":[53],"has":[54],"to":[55,64,73,80,115],"choose":[56],"new":[58,131],"value":[59],"when":[60],"it":[61,113],"is":[62],"designated":[63],"be":[65,71,74],"repaired.":[66],"Intuitively,":[67],"can":[70],"thought":[72],"mainly":[75],"driven":[76],"\"force\"":[79],"\"rush":[81],"through\"":[82],"minima":[85],"plateaus.":[87],"Timing":[88],"results":[89],"show":[90],"that":[91],"approach":[93],"significantly":[94],"outperforms":[95],"LSDL(GENET)":[96,117],"(Choi":[97],"et":[98],"al,":[99],"2000)":[100],"N-Queens,":[102],"Latin":[103],"squares,":[104],"permutation":[106,124],"generation":[107,125],"problems":[108,121],"randomly":[110],"while":[112],"fails":[114],"win":[116],"quasigroup":[119],"completion":[120],"increasing":[123],"problems.":[126],"This":[127],"prompts":[128],"an":[129],"interesting":[130],"direction":[133],"design":[136],"schemes.":[140]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
