{"id":"https://openalex.org/W2199397304","doi":"https://doi.org/10.3384/diss.diva-122827","title":"Strong Partial Clones and the Complexity of Constraint Satisfaction Problems : Limitations and Applications","display_name":"Strong Partial Clones and the Complexity of Constraint Satisfaction Problems : Limitations and Applications","publication_year":2015,"publication_date":"2015-12-15","ids":{"openalex":"https://openalex.org/W2199397304","doi":"https://doi.org/10.3384/diss.diva-122827","mag":"2199397304"},"language":"en","primary_location":{"id":"doi:10.3384/diss.diva-122827","doi":"https://doi.org/10.3384/diss.diva-122827","is_oa":true,"landing_page_url":"https://doi.org/10.3384/diss.diva-122827","pdf_url":"http://liu.diva-portal.org/smash/get/diva2:874097/FULLTEXT01","source":{"id":"https://openalex.org/S4210177482","display_name":"Link\u00f6ping studies in science and technology. Dissertations","issn_l":"0345-7524","issn":["0345-7524"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310317096","host_organization_name":"Link\u00f6ping University Electronic Press","host_organization_lineage":["https://openalex.org/P4310317096"],"host_organization_lineage_names":["Link\u00f6ping University Electronic Press"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Link\u00f6ping Studies in Science and Technology. Dissertations","raw_type":"monograph"},"volume":null,"type":"book","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://liu.diva-portal.org/smash/get/diva2:874097/FULLTEXT01","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089123758","display_name":"Victor Lagerkvist","orcid":"https://orcid.org/0000-0001-8144-4145","observed_orcids":["https://orcid.org/0000-0001-8144-4145"]},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Victor Lagerkvist","raw_affiliation_strings":["Link\u00f6pings universitet, Programvara och system","Link\u00f6pings universitet, Tekniska fakulteten","TCSLAB"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Link\u00f6pings universitet, Programvara och system","institution_ids":["https://openalex.org/I102134673"]},{"raw_affiliation_string":"Link\u00f6pings universitet, Tekniska fakulteten","institution_ids":["https://openalex.org/I102134673"]},{"raw_affiliation_string":"TCSLAB","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5089123758"],"corresponding_institution_ids":["https://openalex.org/I102134673"],"apc_list":null,"apc_paid":null,"fwci":0.6125,"has_fulltext":true,"cited_by_count":24,"citation_normalized_percentile":{"value":0.76712329,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":92,"max":98},"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9413999915122986,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9413999915122986,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.04340000078082085,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.007000000216066837,"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.8360000252723694},{"id":"https://openalex.org/keywords/computational-complexity","display_name":"computational complexity","score":0.8859999775886536},{"id":"https://openalex.org/keywords/algebraic-complexity","display_name":"algebraic complexity","score":0.37299999594688416},{"id":"https://openalex.org/keywords/computational-algebra","display_name":"computational algebra","score":0.3199999928474426},{"id":"https://openalex.org/keywords/complexity-classes","display_name":"complexity classes","score":0.3199999928474426},{"id":"https://openalex.org/keywords/np-completeness","display_name":"NP-completeness","score":0.49799999594688416},{"id":"https://openalex.org/keywords/p-versus-np","display_name":"P versus NP","score":0.4399999976158142},{"id":"https://openalex.org/keywords/boolean-circuits","display_name":"Boolean circuits","score":0.328000009059906},{"id":"https://openalex.org/keywords/boolean-formulas","display_name":"Boolean formulas","score":0.35100001096725464},{"id":"https://openalex.org/keywords/boolean-satisfiability","display_name":"Boolean satisfiability","score":0.35499998927116394}],"concepts":[{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.7639361619949341},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.7508131265640259},{"id":"https://openalex.org/C182359184","wikidata":"https://www.wikidata.org/wiki/Q1756942","display_name":"Partial function","level":2,"score":0.7409001588821411},{"id":"https://openalex.org/C110546421","wikidata":"https://www.wikidata.org/wiki/Q1315869","display_name":"Arity","level":2,"score":0.6341827511787415},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.6295057535171509},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6010494232177734},{"id":"https://openalex.org/C132180345","wikidata":"https://www.wikidata.org/wiki/Q5156628","display_name":"Complexity of constraint satisfaction","level":5,"score":0.5125932097434998},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.5026137828826904},{"id":"https://openalex.org/C188971069","wikidata":"https://www.wikidata.org/wiki/Q1636734","display_name":"Universal algebra","level":3,"score":0.5000395774841309},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4852711856365204},{"id":"https://openalex.org/C81089528","wikidata":"https://www.wikidata.org/wiki/Q5134986","display_name":"clone (Java method)","level":3,"score":0.4520905911922455},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4504764676094055},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.41627469658851624},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3775980770587921},{"id":"https://openalex.org/C137105694","wikidata":"https://www.wikidata.org/wiki/Q3407510","display_name":"Local consistency","level":4,"score":0.2936212420463562},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.28278499841690063},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.19321012496948242},{"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/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C552990157","wikidata":"https://www.wikidata.org/wiki/Q7430","display_name":"DNA","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","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},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3384/diss.diva-122827","doi":"https://doi.org/10.3384/diss.diva-122827","is_oa":true,"landing_page_url":"https://doi.org/10.3384/diss.diva-122827","pdf_url":"http://liu.diva-portal.org/smash/get/diva2:874097/FULLTEXT01","source":{"id":"https://openalex.org/S4210177482","display_name":"Link\u00f6ping studies in science and technology. Dissertations","issn_l":"0345-7524","issn":["0345-7524"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310317096","host_organization_name":"Link\u00f6ping University Electronic Press","host_organization_lineage":["https://openalex.org/P4310317096"],"host_organization_lineage_names":["Link\u00f6ping University Electronic Press"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Link\u00f6ping Studies in Science and Technology. Dissertations","raw_type":"monograph"},{"id":"pmh:oai:DiVA.org:liu-122827","doi":null,"is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-122827","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"}],"best_oa_location":{"id":"doi:10.3384/diss.diva-122827","doi":"https://doi.org/10.3384/diss.diva-122827","is_oa":true,"landing_page_url":"https://doi.org/10.3384/diss.diva-122827","pdf_url":"http://liu.diva-portal.org/smash/get/diva2:874097/FULLTEXT01","source":{"id":"https://openalex.org/S4210177482","display_name":"Link\u00f6ping studies in science and technology. Dissertations","issn_l":"0345-7524","issn":["0345-7524"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/P4310317096","host_organization_name":"Link\u00f6ping University Electronic Press","host_organization_lineage":["https://openalex.org/P4310317096"],"host_organization_lineage_names":["Link\u00f6ping University Electronic Press"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Link\u00f6ping Studies in Science and Technology. Dissertations","raw_type":"monograph"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322225","display_name":"Link\u00f6pings Universitet","ror":"https://ror.org/05ynxx418"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2199397304.pdf","grobid_xml":"https://content.openalex.org/works/W2199397304.grobid-xml"},"referenced_works_count":78,"referenced_works":["https://openalex.org/W87906459","https://openalex.org/W90881392","https://openalex.org/W158508907","https://openalex.org/W284974300","https://openalex.org/W341671365","https://openalex.org/W426788869","https://openalex.org/W429474256","https://openalex.org/W1236045544","https://openalex.org/W1494847669","https://openalex.org/W1507601075","https://openalex.org/W1527904224","https://openalex.org/W1544209192","https://openalex.org/W1554715854","https://openalex.org/W1556385097","https://openalex.org/W1572797009","https://openalex.org/W1575401313","https://openalex.org/W1577492601","https://openalex.org/W1585544221","https://openalex.org/W1589711670","https://openalex.org/W1593916827","https://openalex.org/W1684108869","https://openalex.org/W1778647798","https://openalex.org/W1863800201","https://openalex.org/W1865484263","https://openalex.org/W1965377399","https://openalex.org/W1974637223","https://openalex.org/W1978292808","https://openalex.org/W1985572324","https://openalex.org/W1995725694","https://openalex.org/W1997649256","https://openalex.org/W2007385106","https://openalex.org/W2011042573","https://openalex.org/W2018470381","https://openalex.org/W2023364974","https://openalex.org/W2023648368","https://openalex.org/W2025319967","https://openalex.org/W2028127968","https://openalex.org/W2029110781","https://openalex.org/W2029350735","https://openalex.org/W2034437384","https://openalex.org/W2035877205","https://openalex.org/W2051562247","https://openalex.org/W2052726983","https://openalex.org/W2052936500","https://openalex.org/W2053741794","https://openalex.org/W2058258808","https://openalex.org/W2068190866","https://openalex.org/W2069561762","https://openalex.org/W2092098116","https://openalex.org/W2100181829","https://openalex.org/W2111161140","https://openalex.org/W2116407296","https://openalex.org/W2120698547","https://openalex.org/W2121015801","https://openalex.org/W2122077663","https://openalex.org/W2131202479","https://openalex.org/W2132104546","https://openalex.org/W2133260738","https://openalex.org/W2148381207","https://openalex.org/W2149922426","https://openalex.org/W2150339067","https://openalex.org/W2151131175","https://openalex.org/W2151660105","https://openalex.org/W2166566648","https://openalex.org/W2171034805","https://openalex.org/W2172122072","https://openalex.org/W2180459618","https://openalex.org/W2249739104","https://openalex.org/W2396822542","https://openalex.org/W2405603682","https://openalex.org/W2573145181","https://openalex.org/W2976428324","https://openalex.org/W3019633459","https://openalex.org/W3021677641","https://openalex.org/W4213009134","https://openalex.org/W4236959295","https://openalex.org/W4251337778","https://openalex.org/W4293176479"],"related_works":["https://openalex.org/W2579373073","https://openalex.org/W2182695824","https://openalex.org/W80728659","https://openalex.org/W2493424709","https://openalex.org/W2407339229","https://openalex.org/W610975628","https://openalex.org/W2012168850","https://openalex.org/W7065093066","https://openalex.org/W1709155369","https://openalex.org/W4243722973"],"abstract_inverted_index":{"Popul\u00e4rvetenskaplig":[0],"sammanfattningI":[1],"den":[2,191,268,279,494,583],"h\u00e4r":[3],"avhandlingen":[4,29],"studerar":[5,75,86,910],"vi":[6,18,67,85,136,221,234,302,322,768,911,956,973],"komplexitet":[7,356,435,976,1064,1093],"hos":[8,167,357,366,404,921],"villkorsproblem.F\u00f6r":[9],"att":[10,70,98,144,249,277,317,354,360,374,426,440,446,453,468,492,508,550,610,635,643,672,678,688,700,734,739,752,771,783,799,805,849,859,872,890,905,918,943,964,974,1006,1017,1034,1043,1048,1050,1056,1065,1071],"kunna":[11,318,1041],"redog\u00f6ra":[12],"inneb\u00f6rden":[13],"i":[14,37,112,131,187,252,306,336,442,457,563,578,603,651,663,713,761,777,951],"dessa":[15,396,745,837,853],"begrepp":[16],"m\u00e5ste":[17,839],"b\u00f6rja":[19],"p\u00e5":[20,402,449,732,781,855,977],"en":[21,62,188,197,208,222,228,231,337,367,405,410,520,553,614,637,645,680,691,701,809,829,833,881,1023,1044,1072,1082],"h\u00f6gre":[22],"niv\u00e5":[23],"och":[24,48,50,123,141,146,152,165,178,202,230,266,299,418,515,577,657,743,749,787,832,870,899],"f\u00f6rankra":[25],"det":[26,207,273,300,351,441,488,531,546,564,602,629,659,671,673,686,735,750,769,793,846,960,968,1018,1031,1066],"forskningsomr\u00e5de":[27,34],"som":[28,35,61,107,130,210,215,233,243,301,313,326,334,420,474,522,526,541,590,685,706,814,836,841,885,896,914,940,996,1086],"ber\u00f6r.Datavetenskap":[30],"\u00e4r":[31,82,97,109,116,159,255,274,309,340,373,383,417,436,471,475,482,545,557,586,596,608,617,633,658,675,687,693,699,737,804,844,847,862,864,887,897,915,967,997,1002,1032],"ett":[32,203,237,294,342,415,431,450,484,516,640,683,825,856,866,978,1058],"enormt":[33],"innefattar":[36,102],"stort":[38],"sett":[39,632],"allt":[40],"mellan":[41,46,194,282,497],"algoritmer,":[42],"programmering,":[43],"realtidssystem,":[44],"interaktion":[45],"datorer":[47,73,79],"m\u00e4nniskor,":[49],"artificiell":[51],"intelligens.Teoretisk":[52],"datalogi":[53,100,118,158],"(p\u00e5":[54,161,463,535,818,929],"engelska":[55,162,464,536,819,930],"\"theoretical":[56],"computer":[57,1188],"science\")":[58],"kan":[59,80,169,567,623,878,981,1014,1076,1078],"beskrivas":[60],"delm\u00e4ngd":[63],"av":[64,77,95,150,182,261,347,479,697,775,811,824,828,876,889,1010],"datavetenskap":[65],"d\u00e4r":[66,601,955],"ist\u00e4llet":[68,74,398],"f\u00f6r":[69,143,247,316,413,439,491,507,572,620,653,764,808,816,893,917,925,942,985,993,1026,1047],"studera":[71,355,806,919,944],"konkreta":[72],"modeller":[76],"hur":[78,285,290,292,310,331,1027,1091],"fungera.Allts\u00e5":[81],"de":[83,113,595,730,894,938,1094],"objekt":[84,151],"inte":[87,216,241,323,343,391,455,502,527,547,592,709,736,758],"fysiska":[88,364],"fenomen,":[89],"utan":[90,330,359],"matematiska":[91],"koncept.En":[92],"direkt":[93],"konsekvens":[94,696],"detta":[96,372,698,965,991,1036],"teoretisk":[99,117,157,664],"s\u00e4llan":[101],"studier,":[103],"observationer":[104],"eller":[105,128,227,328,559,598],"experiment,":[106],"annars":[108],"centrala":[110],"aspekter":[111],"flesta":[114],"vetenskaper.D\u00e4rf\u00f6r":[115],"n\u00e4rmare":[119],"besl\u00e4ktat":[120],"med":[121,138,199,267,371,378,400,422,605,704,744,1000,1005,1061],"matematik":[122],"logik":[124],"\u00e4n":[125,257,588,642,754],"exempelvis":[126,170,224,1040],"fysik":[127],"biologi.Precis":[129],"m\u00e5nga":[132,332,724],"andra":[133,953,986],"vetenskaper":[134],"arbetar":[135],"dock":[137],"olika":[139,148,874],"taxonomier":[140],"metoder":[142,490,913],"gruppera":[145],"kategorisera":[147],"typer":[149,875,1009],"f\u00f6reteelser.Ett":[153],"centralt":[154],"koncept":[155],"inom":[156],"ber\u00e4kningsproblem":[160,251,295,358,416,473,641,813,884,995],"\"computational":[163],"problem\")":[164],"komplexiteten":[166,454,807,892,920,984],"s\u00e5dana.Ber\u00e4kningsproblem":[168],"ha":[171,236,719],"f\u00f6ljande":[172],"form.1.":[173],"Givet":[174,184,196],"tv\u00e5":[175,185,225,262,283,480,498,994],"tal":[176,263,481],"x":[177],"y,":[179],"ber\u00e4kna":[180,190,259,477,493,644,679],"summan":[181,260,478],"dessa.2.":[183],"st\u00e4der":[186,201,214,514,525],"karta,":[189,229],"kortaste":[192,280,495],"rutten":[193,281,570],"dem.3.":[195],"karta":[198],"n":[200,213,513],"v\u00e4rde":[204,517],"k,":[205,518,530],"existerar":[206,487,519],"rutt":[209,521],"bes\u00f6ker":[211,523],"alla":[212,524,575,860],"\u00f6verskrider":[217,528],"l\u00e4ngden":[218,529,585],"k?Allts\u00e5":[219],"har":[220,408,759],"instans,":[223],"nummer":[226],"fr\u00e5ga":[232,425,467,649],"vill":[235],"svar":[238],"till.Det":[239],"b\u00f6r":[240],"komma":[242],"n\u00e5gon":[244,253,504,1012],"\u00f6verrasknv":[245],"ing":[246],"l\u00e4saren":[248,542],"vissa":[250],"mening":[254,1013],"sv\u00e5rare":[256,276,634],"andra.Att":[258],"klarar":[264],"till":[265,305,363,380,503,555,639,682,852,983],"enklaste":[269],"minir\u00e4knaren":[270],"av,":[271],"medan":[272],"betydligt":[275],"hitta":[278],"st\u00e4der.Men":[284],"ska":[286,444,842],"man":[287,501,562,591,707,879,1015,1039],"d\u00e5":[288,1003],"m\u00e4ta":[289],"sv\u00e5rt,":[291],"komplext,":[293],"\u00e4r?":[296],"Det":[297],"vanligaste,":[298],"begr\u00e4nsar":[303],"oss":[304,353,362],"denna":[307,778],"avhandling,":[308],"mycket":[311],"tid":[312,320,325],"problemet":[314,448,662],"kr\u00e4ver":[315],"l\u00f6sas.Med":[319],"menar":[321],"fysisk":[324],"sekunder":[327],"minuter,":[329],"operationer":[333],"kr\u00e4vs":[335],"underliggande":[338],"datormodell.Detta":[339],"m\u00e5h\u00e4nda":[341],"helt":[344],"intuitivt":[345],"anv\u00e4ndande":[346],"begreppet":[348],"\"tid\",":[349],"men":[350,600],"till\u00e5ter":[352],"begr\u00e4nsa":[361],"resurser":[365],"specifik":[368,406],"dator.En":[369],"f\u00f6rdel":[370],"s\u00e5dana":[375,714,1008],"analyser":[376,397],"\u00e5ldras":[377],"v\u00e4rdighet:":[379],"exempel":[381],"s\u00e5":[382,532,669,722,1062],"femtio":[384],"\u00e5r":[385],"gamla":[386],"tidskomplexitetsanalyser":[387],"fortfarande":[388],"relevanta,":[389],"vilket":[390],"skulle":[392,716,723,788,796,1038,1054],"vara":[393,461,711,902,1055],"fallet":[394,565],"om":[395,433,552,582,594,613,628,792,1084],"utf\u00f6rdes":[399],"avseende":[401],"exekveringstiden":[403],"dator.Vi":[407],"nu":[409,624],"grundl\u00e4ggande":[411],"f\u00f6rst\u00e5else":[412],"vad":[414,419,1085],"avses":[421],"komplexitet.En":[423],"naturlig":[424],"st\u00e4lla":[427,469,625],"sig":[428,470,626,718,798,935],"\u00e4r,":[429],"givet":[430,512],"ber\u00e4kningsproblem,":[432,869],"dess":[434,975],"tillr\u00e4ckligt":[437],"l\u00e5g":[438,1063,1092],"praktiken":[443],"g\u00e5":[445,568],"l\u00f6sa":[447],"s\u00e5dant":[451,857],"s\u00e4tt":[452],"skjuter":[456],"h\u00f6jden.S\u00e5dana":[458],"problem":[459,684,705,966,1030],"s\u00e4gs":[460],"hanterbara":[462,597,712,1097],"\"tractable\").N\u00e4sta":[465],"naturliga":[466],"vilka":[472],"hanterbara.Att":[476],"sj\u00e4lvfallet":[483],"hanterbart":[485,738],"problem.Likas\u00e5":[486],"effektiva":[489,720,762],"v\u00e4gen":[496],"st\u00e4der.D\u00e4remot":[499],"k\u00e4nner":[500],"effektiv":[505],"metod":[506,1074],"unders\u00f6ka":[509],"huruvida":[510,690,845],"det,":[511],"kallade":[533],"handelsresandeproblemet":[534,556,606],"\"the":[537],"travelling":[538],"salesman":[539],"problem\").D\u00e4remot,":[540],"uppmanas":[543],"testa,":[544],"s\u00e4rskilt":[548],"sv\u00e5rt":[549],"verifiera":[551,612,636,689],"l\u00f6sning":[554,616,638,646,681,692],"korrekt":[558],"ej,":[560,599],"eftersom":[561,729],"bara":[566],"igenom":[569],"stad":[571],"stad,":[573],"addera":[574],"avst\u00e5nd,":[576],"slut\u00e4ndan":[579],"se":[580],"efter":[581],"resulterande":[584],"kortare":[587],"k.Ber\u00e4kningsproblem":[589],"vet":[593],"likhet":[604],"alltid":[607,674],"m\u00f6jligt":[609,848,1033],"effektivt":[611],"given":[615],"korrekt,":[618],"kallas":[619,650,815,924],"NP-fullst\u00e4ndiga":[621,765,898,962,970,1020,1029,1088],"problem.Man":[622],"fr\u00e5gan":[627],"rent":[630],"generellt":[631,868],"fr\u00e5n":[647,937],"grunden.Denna":[648],"litteraturen":[652],"P":[654,666,772,784,800,1051],"?=":[655],"NP":[656,668,786,1053],"viktigaste":[660],"ol\u00f6sta":[661],"datalogi.Om":[665],"=":[667,773,785,801,1052],"inneb\u00e4r":[670],"lika":[676],"enkelt":[677],"korrekt.En":[694],"praktisk":[695],"stor":[702,882],"m\u00e4ngd":[703,830,834,883],"tidigare":[708],"trott":[710],"fall":[715],"visa":[717,797],"algoritmer.Exempelvis":[721],"befintliga":[725],"krypteringsmetoder":[726],"bli":[727,790],"oanv\u00e4ndbara":[728],"bygger":[731,780],"antagandet":[733,782],"faktorisera":[740],"stora":[741,746],"heltal.I":[742],"praktiska":[747],"konsekvenser,":[748],"faktum":[751],"mer":[753],"50":[755],"\u00e5rs":[756],"forskning":[757],"resulterat":[760],"algoritmer":[763],"problem,":[766,1089],"anses":[767],"troligare":[770],"NP.M\u00e5nga":[774],"resulteten":[776],"avhandling":[779],"s\u00e5ledes":[789],"\u00f6verfl\u00f6diga":[791],"mot":[794,1096],"f\u00f6rmodan":[795],"NP.Avhandlingens":[802],"syfte":[803],"klass":[810],"NPfullst\u00e4ndiga":[812],"villkorsproblem":[817,826,895,945,1060],"\"constraint":[820],"satisfaction":[821],"problems\").En":[822],"instans":[823],"best\u00e5r":[827],"variabler":[831,838,854],"villkor":[835,861,877],"uppfylla.Fr\u00e5gan":[840],"besvaras":[843],"tilldela":[850],"v\u00e4rden":[851],"vis":[858,980],"uppfyllda.Det":[863],"allts\u00e5":[865],"v\u00e4ldigt":[867],"genom":[871],"v\u00e4lja":[873],"formulera":[880],"villkorsproblem.Vi":[886,988],"intresserade":[888],"j\u00e4mf\u00f6ra":[891],"d\u00e4rf\u00f6r":[900],"tros":[901],"extremt":[903],"sv\u00e5ra":[904],"l\u00f6sa.I":[906],"avhandlingens":[907,952],"f\u00f6rsta":[908],"bidrag":[909],"algebraiska":[912,947],"anv\u00e4ndbara":[916],"villkorsproblem.Dessa":[922],"algebror":[923,939],"starka":[926],"partiella":[927],"kloner":[928],"\"strong":[931],"partial":[932],"clones\"och":[933],"skiljer":[934,1087],"drastiskt":[936],"anv\u00e4nts":[941],"tidigare.Den":[946],"teorin":[948],"till\u00e4mpas":[949],"sedan":[950,990],"del":[954],"bland":[957],"annat":[958],"identifierar":[959],"l\u00e4ttaste":[961,969,1019],"villkorsproblemet.Trots":[963],"villkorsproblemet":[971,1021],"bevisar":[972],"naturligt":[979],"relateras":[982],"v\u00e4lstuderade":[987],"upprepar":[989],"konststycke":[992],"n\u00e4ra":[998],"besl\u00e4ktade":[999],"villkorsproblem.Vad":[1001],"syftet":[1004],"identifiera":[1007],"problem?I":[1011],"s\u00e4ga":[1016],"skapar":[1022],"stark":[1024],"avgr\u00e4nsning":[1025],"l\u00e4tta":[1028],"konstruera.Utan":[1035],"resultat":[1037,1069],"tro":[1042],"rimlig":[1045],"ansats":[1046],"bevisa":[1049],"skapa":[1057],"NP-fullst\u00e4ndigt":[1059],"blir":[1067],"hanterbart.V\u00e5rt":[1068],"visar":[1070],"s\u00e5dan":[1073],"om\u00f6jligen":[1075],"fungera.D\u00e4rf\u00f6r":[1077],"liknande":[1079],"studier":[1080],"ge":[1081],"fingervisning":[1083],"oavsett":[1090],"har,":[1095],"problem.vii":[1098],"Writing":[1099],"this":[1100,1157,1250,1306],"thesis":[1101,1307],"has":[1102,1116],"been":[1103,1289],"a":[1104,1128,1195,1214,1231,1256],"wild":[1105,1108],"ride.And":[1106],"by":[1107],"ride,":[1109],"I":[1110,1131,1174,1200,1317],"mean":[1111],"that":[1112,1130,1149,1268,1286],"the":[1113,1150,1178,1184,1246,1261],"writing":[1114],"process":[1115],"consisted":[1117],"of":[1118,1126,1141,1152,1172,1183,1186,1249,1258,1260],"late,":[1119],"nocturnal":[1120],"activities":[1121],"coupled":[1122],"with":[1123],"copious":[1124],"amounts":[1125],"coffee,":[1127],"lifestyle":[1129],"do":[1132],"not":[1133,1288,1311],"recommend":[1134],"anyone":[1135],"to":[1136,1147,1155,1169,1176,1202,1216,1279,1319],"try":[1137],"for":[1138,1193,1206,1222,1241,1253,1325],"extended":[1139],"periods":[1140],"time.In":[1142],"retrospect,":[1143],"it":[1144],"is":[1145,1264],"fair":[1146],"say":[1148],"amount":[1151],"work":[1153],"required":[1154],"write":[1156],"monograph":[1158],"slightly":[1159],"exceeded":[1160],"my":[1161,1208,1228,1235,1274,1281,1284,1321],"original":[1162],"expectations.There":[1163],"are":[1164,1272],"several":[1165],"persons":[1166],"who":[1167],"deserve":[1168],"be":[1170],"acknowledged.First":[1171],"all,":[1173],"want":[1175,1201,1278,1318],"thank":[1177,1203,1320],"past":[1179],"and":[1180,1219,1225,1252,1299,1304,1323,1329,1331],"present":[1181],"members":[1182],"laboratory":[1185],"theoretical":[1187],"science":[1189],"at":[1190],"Link\u00f6ping":[1191],"University":[1192],"providing":[1194],"unique":[1196],"working":[1197],"environment.In":[1198],"particular,":[1199],"Gustav":[1204],"Nordh":[1205],"supervising":[1207],"master's":[1209],"thesis,":[1210,1251],"which":[1211],"served":[1212],"as":[1213,1230],"gateway":[1215],"heavier":[1217],"sciences,":[1218],"Peter":[1220],"Jonsson":[1221],"excellent":[1223],"supervision":[1224],"support":[1226,1328],"during":[1227],"time":[1229],"PhD":[1232],"student.Christer":[1233],"B\u00e4ckstrom,":[1234],"secondary":[1236],"supervisor,":[1237],"also":[1238,1277],"deserves":[1239],"acknowledgement":[1240],"giving":[1242],"extensive":[1243],"feedback":[1244],"on":[1245],"introductory":[1247],"chapter":[1248],"pointing":[1254],"out":[1255],"variety":[1257],"misconceptions":[1259],"English":[1262],"language.It":[1263],"clearly":[1265],"too":[1266],"say,":[1267],"any":[1269],"remainder":[1270],"errours":[1271],"entirely":[1273],"own":[1275],"falt.I":[1276],"extend":[1280],"gratitude":[1282],"towards":[1283],"co-authors":[1285],"have":[1287,1312],"mentioned":[1290],"so":[1291],"far:":[1292],"Johannes":[1293],"Schmidt,":[1294],"Hannes":[1295],"Uppman,":[1296],"Magnus":[1297],"Wahlstr\u00f6m,":[1298],"Bruno":[1300],"Zanuttini.Without":[1301],"your":[1302],"help":[1303],"input":[1305],"would":[1308],"most":[1309],"likely":[1310],"obtained":[1313],"its":[1314],"current":[1315],"shape.Last,":[1316],"friends":[1322],"family":[1324],"their":[1326],"continuous":[1327],"encouragement,":[1330],"Maria":[1332]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-06-24T00:00:00"}