Matches in SemOpenAlex for { <https://semopenalex.org/work/W2579455853> ?p ?o ?g. }
- W2579455853 abstract "The Constraint Satisfaction Problem (CSP) is a fundamental NP-complete problem with many applications in artificial intelligence. This problem has enjoyed considerable scientific attention in the past decades due to its practical usefulness and the deep theoretical questions it relates to. However, there is a wide gap between practitioners, who develop solving techniques that are efficient for industrial instances but exponential in the worst case, and theorists who design sophisticated polynomial-time algorithms for restrictions of CSP defined by certain algebraic properties. In this thesis we attempt to bridge this gap by providing polynomial-time algorithms to test for membership in a selection of major tractable classes. Even if the instance does not belong to one of these classes, we investigate the possibility of decomposing efficiently a CSP instance into tractable subproblems through the lens of parameterized complexity. Finally, we propose a general framework to adapt the concept of kernelization, central to parameterized complexity but hitherto rarely used in practice, to the context of constraint reasoning. Preliminary experiments on this last contribution show promising results." @default.
- W2579455853 created "2017-01-26" @default.
- W2579455853 creator A5061130297 @default.
- W2579455853 date "2016-12-07" @default.
- W2579455853 modified "2023-09-25" @default.
- W2579455853 title "Harnessing tractability in constraint satisfaction problems" @default.
- W2579455853 cites W1009693448 @default.
- W2579455853 cites W104186012 @default.
- W2579455853 cites W125196440 @default.
- W2579455853 cites W1506342804 @default.
- W2579455853 cites W1522877314 @default.
- W2579455853 cites W1559081432 @default.
- W2579455853 cites W1559927413 @default.
- W2579455853 cites W1582851306 @default.
- W2579455853 cites W1602309302 @default.
- W2579455853 cites W1628148094 @default.
- W2579455853 cites W1709155369 @default.
- W2579455853 cites W1732327014 @default.
- W2579455853 cites W1737419911 @default.
- W2579455853 cites W1748315421 @default.
- W2579455853 cites W1767159495 @default.
- W2579455853 cites W1772241399 @default.
- W2579455853 cites W1812083975 @default.
- W2579455853 cites W1827493799 @default.
- W2579455853 cites W1874576524 @default.
- W2579455853 cites W1964678328 @default.
- W2579455853 cites W1965377399 @default.
- W2579455853 cites W1971393213 @default.
- W2579455853 cites W1973852671 @default.
- W2579455853 cites W1974692335 @default.
- W2579455853 cites W1977364512 @default.
- W2579455853 cites W1981455469 @default.
- W2579455853 cites W1984074081 @default.
- W2579455853 cites W1985525233 @default.
- W2579455853 cites W1995102370 @default.
- W2579455853 cites W1997649256 @default.
- W2579455853 cites W2000311286 @default.
- W2579455853 cites W2005079828 @default.
- W2579455853 cites W2011039300 @default.
- W2579455853 cites W2013415302 @default.
- W2579455853 cites W2016639451 @default.
- W2579455853 cites W2020154454 @default.
- W2579455853 cites W2022841964 @default.
- W2579455853 cites W2025319967 @default.
- W2579455853 cites W2026753685 @default.
- W2579455853 cites W2027605646 @default.
- W2579455853 cites W2032487621 @default.
- W2579455853 cites W2036265926 @default.
- W2579455853 cites W2039100365 @default.
- W2579455853 cites W2040102827 @default.
- W2579455853 cites W2041737564 @default.
- W2579455853 cites W2051856222 @default.
- W2579455853 cites W2052726983 @default.
- W2579455853 cites W2052936500 @default.
- W2579455853 cites W2057256946 @default.
- W2579455853 cites W2061513598 @default.
- W2579455853 cites W2077654620 @default.
- W2579455853 cites W2080169329 @default.
- W2579455853 cites W2095435811 @default.
- W2579455853 cites W2108078607 @default.
- W2579455853 cites W2111829945 @default.
- W2579455853 cites W2116407296 @default.
- W2579455853 cites W2119456262 @default.
- W2579455853 cites W2123895606 @default.
- W2579455853 cites W2128428335 @default.
- W2579455853 cites W2130190334 @default.
- W2579455853 cites W2135432705 @default.
- W2579455853 cites W2149922426 @default.
- W2579455853 cites W2150339067 @default.
- W2579455853 cites W2151720296 @default.
- W2579455853 cites W2157529519 @default.
- W2579455853 cites W2163565855 @default.
- W2579455853 cites W2169474499 @default.
- W2579455853 cites W2171966496 @default.
- W2579455853 cites W2172276559 @default.
- W2579455853 cites W2187890375 @default.
- W2579455853 cites W2211445239 @default.
- W2579455853 cites W2252346974 @default.
- W2579455853 cites W2314918483 @default.
- W2579455853 cites W2318083694 @default.
- W2579455853 cites W2344276073 @default.
- W2579455853 cites W2346597746 @default.
- W2579455853 cites W2401610261 @default.
- W2579455853 cites W2406415335 @default.
- W2579455853 cites W2510011961 @default.
- W2579455853 cites W2531021157 @default.
- W2579455853 cites W2545198300 @default.
- W2579455853 cites W2572503304 @default.
- W2579455853 cites W27267440 @default.
- W2579455853 cites W285041758 @default.
- W2579455853 cites W2911409360 @default.
- W2579455853 cites W2914630410 @default.
- W2579455853 cites W2953129498 @default.
- W2579455853 cites W2963055415 @default.
- W2579455853 cites W2963295189 @default.
- W2579455853 cites W3101793140 @default.
- W2579455853 cites W41784264 @default.
- W2579455853 cites W75155422 @default.
- W2579455853 cites W856071238 @default.
- W2579455853 cites W91781137 @default.