{"id":"https://openalex.org/W2097382020","doi":null,"title":"Constructing Algorithms for Constraint Satisfaction and Related Problems : Methods and Applications","display_name":"Constructing Algorithms for Constraint Satisfaction and Related Problems : Methods and Applications","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W2097382020","mag":"2097382020"},"language":"en","primary_location":{"id":"pmh:oai:DiVA.org:liu-3836","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-3836","pdf_url":null,"source":{"id":"https://openalex.org/S4306400838","display_name":"DiVA (Linkoping University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102134673","host_organization_name":"Link\u00f6ping University","host_organization_lineage":["https://openalex.org/I102134673"],"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":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-3836","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000958088","display_name":"Ola Angelsmark","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Ola Angelsmark","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5000958088"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":54,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.8241999745368958,"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"}},"topics":[{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.8241999745368958,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.17260000109672546,"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.0017999999690800905,"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/constraint-satisfaction","display_name":"constraint satisfaction","score":0.9950000047683716},{"id":"https://openalex.org/keywords/covering-method","display_name":"covering method","score":0.9169999957084656},{"id":"https://openalex.org/keywords/partitioning-methods","display_name":"partition method","score":0.9909999966621399},{"id":"https://openalex.org/keywords/randomized-algorithms","display_name":"randomized algorithms","score":0.8140000104904175},{"id":"https://openalex.org/keywords/deterministic-algorithms","display_name":"deterministic algorithms","score":0.7480000257492065},{"id":"https://openalex.org/keywords/max-csp","display_name":"Max-CSP","score":0.9850000143051147},{"id":"https://openalex.org/keywords/polynomial-space-algorithms","display_name":"polynomial space algorithms","score":0.7250000238418579},{"id":"https://openalex.org/keywords/graph-coloring","display_name":"graph coloring","score":0.6209999918937683}],"concepts":[{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.6341041922569275},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6131949424743652},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6117634773254395},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5014398097991943},{"id":"https://openalex.org/C100808899","wikidata":"https://www.wikidata.org/wiki/Q1192100","display_name":"Set cover problem","level":3,"score":0.4941156208515167},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.48661503195762634},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.4618794620037079},{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.45450645685195923},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44130194187164307},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4363025724887848},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4088881313800812},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39214134216308594},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32370448112487793},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1239277720451355},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:DiVA.org:liu-3836","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-3836","pdf_url":null,"source":{"id":"https://openalex.org/S4306400838","display_name":"DiVA (Linkoping University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102134673","host_organization_name":"Link\u00f6ping University","host_organization_lineage":["https://openalex.org/I102134673"],"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":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"mag:2097382020","doi":null,"is_oa":false,"landing_page_url":"https://liu.diva-portal.org/smash/get/diva2:20454/FULLTEXT01.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:DiVA.org:liu-3836","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-3836","pdf_url":null,"source":{"id":"https://openalex.org/S4306400838","display_name":"DiVA (Linkoping University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102134673","host_organization_name":"Link\u00f6ping University","host_organization_lineage":["https://openalex.org/I102134673"],"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":"","raw_type":"info:eu-repo/semantics/doctoralThesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":177,"referenced_works":["https://openalex.org/W49909033","https://openalex.org/W50259431","https://openalex.org/W104109059","https://openalex.org/W114570332","https://openalex.org/W158508907","https://openalex.org/W160762968","https://openalex.org/W164441653","https://openalex.org/W204713183","https://openalex.org/W226964498","https://openalex.org/W229723227","https://openalex.org/W232546407","https://openalex.org/W249366177","https://openalex.org/W250034827","https://openalex.org/W270890898","https://openalex.org/W273486279","https://openalex.org/W273725244","https://openalex.org/W279832300","https://openalex.org/W284974300","https://openalex.org/W288411513","https://openalex.org/W290220299","https://openalex.org/W298393444","https://openalex.org/W307482533","https://openalex.org/W324862964","https://openalex.org/W345392283","https://openalex.org/W395830905","https://openalex.org/W429474256","https://openalex.org/W436315373","https://openalex.org/W582995871","https://openalex.org/W587916649","https://openalex.org/W591761109","https://openalex.org/W591799521","https://openalex.org/W593974556","https://openalex.org/W596817263","https://openalex.org/W601321418","https://openalex.org/W605190906","https://openalex.org/W615176317","https://openalex.org/W620554035","https://openalex.org/W622253553","https://openalex.org/W626577621","https://openalex.org/W639106463","https://openalex.org/W644976322","https://openalex.org/W1236045544","https://openalex.org/W1479863711","https://openalex.org/W1483750267","https://openalex.org/W1494491461","https://openalex.org/W1498006595","https://openalex.org/W1501301539","https://openalex.org/W1502137748","https://openalex.org/W1504850494","https://openalex.org/W1507601075","https://openalex.org/W1507652610","https://openalex.org/W1508924483","https://openalex.org/W1509149194","https://openalex.org/W1511646990","https://openalex.org/W1515040271","https://openalex.org/W1515101020","https://openalex.org/W1530753374","https://openalex.org/W1533138303","https://openalex.org/W1535530436","https://openalex.org/W1535937474","https://openalex.org/W1536779655","https://openalex.org/W1544515183","https://openalex.org/W1553069021","https://openalex.org/W1557447388","https://openalex.org/W1563127428","https://openalex.org/W1565010992","https://openalex.org/W1566410171","https://openalex.org/W1570383166","https://openalex.org/W1571792361","https://openalex.org/W1572797009","https://openalex.org/W1583449596","https://openalex.org/W1584186420","https://openalex.org/W1585544221","https://openalex.org/W1588518880","https://openalex.org/W1589828224","https://openalex.org/W1593169756","https://openalex.org/W1593916827","https://openalex.org/W1596358429","https://openalex.org/W1599664260","https://openalex.org/W1600387673","https://openalex.org/W1605842570","https://openalex.org/W1607251184","https://openalex.org/W1619888535","https://openalex.org/W1627230931","https://openalex.org/W1656795039","https://openalex.org/W1685626019","https://openalex.org/W1686746446","https://openalex.org/W1793685185","https://openalex.org/W1806421751","https://openalex.org/W1970461358","https://openalex.org/W1971483538","https://openalex.org/W1975442866","https://openalex.org/W1977312644","https://openalex.org/W1979740015","https://openalex.org/W1982174487","https://openalex.org/W1982687611","https://openalex.org/W1984481156","https://openalex.org/W1985123706","https://openalex.org/W1989682699","https://openalex.org/W1990313671","https://openalex.org/W1996980357","https://openalex.org/W1999038767","https://openalex.org/W2002892545","https://openalex.org/W2006912660","https://openalex.org/W2007200873","https://openalex.org/W2009384947","https://openalex.org/W2010438070","https://openalex.org/W2011039300","https://openalex.org/W2013568176","https://openalex.org/W2016639451","https://openalex.org/W2022191808","https://openalex.org/W2022212237","https://openalex.org/W2024060531","https://openalex.org/W2027049731","https://openalex.org/W2027506801","https://openalex.org/W2027896828","https://openalex.org/W2031823362","https://openalex.org/W2033216491","https://openalex.org/W2034111852","https://openalex.org/W2034674470","https://openalex.org/W2040145343","https://openalex.org/W2043193943","https://openalex.org/W2043506441","https://openalex.org/W2045492613","https://openalex.org/W2047674557","https://openalex.org/W2049500052","https://openalex.org/W2050430186","https://openalex.org/W2055839883","https://openalex.org/W2057361103","https://openalex.org/W2063379221","https://openalex.org/W2066749637","https://openalex.org/W2068379792","https://openalex.org/W2072053322","https://openalex.org/W2080192364","https://openalex.org/W2082757215","https://openalex.org/W2084652510","https://openalex.org/W2084732238","https://openalex.org/W2091345559","https://openalex.org/W2097844290","https://openalex.org/W2102140349","https://openalex.org/W2102785866","https://openalex.org/W2102873457","https://openalex.org/W2105002226","https://openalex.org/W2109039359","https://openalex.org/W2115826669","https://openalex.org/W2117006032","https://openalex.org/W2118866757","https://openalex.org/W2121724409","https://openalex.org/W2122639972","https://openalex.org/W2124240997","https://openalex.org/W2128391670","https://openalex.org/W2131358503","https://openalex.org/W2133732980","https://openalex.org/W2135040080","https://openalex.org/W2139364539","https://openalex.org/W2145615096","https://openalex.org/W2146166870","https://openalex.org/W2148360835","https://openalex.org/W2148546044","https://openalex.org/W2151266168","https://openalex.org/W2155374157","https://openalex.org/W2156223756","https://openalex.org/W2157744363","https://openalex.org/W2159003768","https://openalex.org/W2341171179","https://openalex.org/W2493581502","https://openalex.org/W2569549435","https://openalex.org/W2604369079","https://openalex.org/W2611296759","https://openalex.org/W2891212941","https://openalex.org/W2976428324","https://openalex.org/W3019633459","https://openalex.org/W3021677641","https://openalex.org/W3044231639","https://openalex.org/W3145128584","https://openalex.org/W3148529197","https://openalex.org/W4212899374"],"related_works":["https://openalex.org/W610975628","https://openalex.org/W1536779655","https://openalex.org/W104305118","https://openalex.org/W2787399538","https://openalex.org/W7098204228","https://openalex.org/W2591931678","https://openalex.org/W7096662949","https://openalex.org/W1563127428","https://openalex.org/W2291356747","https://openalex.org/W4408871341"],"abstract_inverted_index":{"In":[0],"this":[1],"thesis,":[2],"we":[3,122,158,164,180,220,247,266,306],"will":[4],"discuss":[5],"the":[6,29,51,59,80,114,126,140,154,177,196,200,203,229,241,244,273,288,304],"construction":[7],"of":[8,21,41,50,54,132,149,156,207,225,243,253,270,317],"algorithms":[9],"for":[10,176,212,231,314],"solving":[11,213,228],"Constraint":[12],"Satisfaction":[13],"Problems":[14],"(CSPs),":[15],"and":[16,121,169,185,278,299],"describe":[17],"two":[18,147],"new":[19,264],"ways":[20,148],"approaching":[22],"them.":[23],"Both":[24],"approaches":[25],"are":[26,146,159],"based":[27],"on":[28,153,202],"idea":[30],"that":[31,58,139],"it":[32],"is":[33,57,63,67,143],"sometimes":[34],"faster":[35],"to":[36,90,107,124,161],"solve":[37,91,249],"a":[38,45,68,92,99,130,137,173,182,189,209,232,250,259,268,308],"large":[39,245,251],"number":[40,131,224,252,269],"restricted":[42,133],"problems":[43,112,214,255,275,290],"than":[44,218],"single,":[46],"large,":[47],"problem.":[48],"One":[49],"strong":[52],"points":[53],"these":[55,263],"methods":[56],"intuition":[60],"behind":[61],"them":[62],"fairly":[64],"simple,":[65],"which":[66,110],"definite":[69],"advantage":[70],"over":[71],"many":[72],"techniques":[73],"currently":[74],"in":[75,135],"use.":[76],"The":[77,192],"first":[78],"method,":[79,82,194,198],"covering":[81,168],"can":[83],"be":[84],"described":[85],"as":[86,285,287],"follows:":[87],"We":[88,104],"want":[89,123],"CSP":[93],"with":[94,101,172,188,215,262,281],"n":[95],"variables,":[96],"each":[97,227],"having":[98,208],"domain":[100,115,216,234,242],"d":[102],"elements.":[103],"have":[105],"access":[106],"an":[108,166,222],"algorithm":[109,175,211,313],"solves":[111],"where":[113],"has":[116],"size":[117],"e":[118],"<":[119],"d,":[120,219],"cover":[125],"original":[127],"problem":[128,230],"using":[129],"instances,":[134],"such":[136],"way":[138],"solution":[141],"set":[142],"preserved.":[144],"There":[145],"doing":[150],"this,":[151],"depending":[152],"amount":[155],"work":[157],"willing":[160],"invest;":[162],"either":[163],"construct":[165],"explicit":[167],"end":[170,186],"up":[171,187],"deterministic":[174],"problem,":[178,246],"or":[179,239],"use":[181],"probabilistic":[183,190],"reasoning":[184],"algorithm.":[191,205],"second":[193],"called":[195],"partitioning":[197],"relaxes":[199],"demand":[201],"underlying":[204],"Instead":[206],"single":[210],"less":[217],"allow":[221],"arbitrary":[223],"them,":[226],"different":[233,271],"size.":[235],"Thus":[236],"by":[237],"splitting,":[238],"partitioning,":[240],"again":[248],"smaller":[254],"before":[256],"arriving":[257],"at":[258],"solution.":[260],"Armed":[261],"techniques,":[265],"study":[267],"problems;":[272],"decision":[274],"(d,":[276],"l)-CSP":[277],"k-Colourability,":[279],"together":[280],"their":[282],"counting":[283],"counterparts,":[284],"well":[286],"optimisation":[289],"Max":[291,294,297,300],"Ind":[292],"CSP,":[293,296,298],"Value":[295],"Hamming":[301],"CSP.":[302],"Among":[303],"results,":[305],"find":[307],"very":[309],"fast,":[310],"polynomial":[311],"space":[312],"determining":[315],"k-colourability":[316],"graphs.":[318]},"counts_by_year":[{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}