Matches in SemOpenAlex for { <https://semopenalex.org/work/W4309587002> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W4309587002 endingPage "831" @default.
- W4309587002 startingPage "793" @default.
- W4309587002 abstract "A backdoor in a finite-domain CSP instance is a set of variables where each possible instantiation moves the instance into a polynomial-time solvable class. Backdoors have found many applications in artificial intelligence and elsewhere, and the algorithmic problem of finding such backdoors has consequently been intensively studied. Sioutis and Janhunen have proposed a generalised backdoor concept suitable for infinite-domain CSP instances over binary constraints. We generalise their concept into a large class of CSPs that allow for higher-arity constraints. We show that this kind of infinite-domain backdoors have many of the positive computational properties that finite-domain backdoors have: the associated computational problems are fixed parameter tractable whenever the underlying constraint language is finite. On the other hand, we show that infinite languages make the problems considerably harder: the general backdoor detection problem is W[2]-hard and fixed-parameter tractability is ruled out under standard complexity-theoretic assumptions. We demonstrate that backdoors may have suboptimal behaviour on binary constraints—this is detrimental from an AI perspective where binary constraints are predominant in, for instance, spatiotemporal applications. In response to this, we introduce sidedoors as an alternative to backdoors. The fundamental computational problems for sidedoors remain fixed-parameter tractable for finite constraint language (possibly also containing non-binary relations). Moreover, the sidedoor approach has appealing computational properties that sometimes leads to faster algorithms than the backdoor approach." @default.
- W4309587002 created "2022-11-28" @default.
- W4309587002 creator A5012278873 @default.
- W4309587002 creator A5076149336 @default.
- W4309587002 creator A5089123758 @default.
- W4309587002 date "2022-11-16" @default.
- W4309587002 modified "2023-09-22" @default.
- W4309587002 title "Computational Short Cuts in Infinite Domain Constraint Satisfaction" @default.
- W4309587002 doi "https://doi.org/10.1613/jair.1.13787" @default.
- W4309587002 hasPublicationYear "2022" @default.
- W4309587002 type Work @default.
- W4309587002 citedByCount "0" @default.
- W4309587002 crossrefType "journal-article" @default.
- W4309587002 hasAuthorship W4309587002A5012278873 @default.
- W4309587002 hasAuthorship W4309587002A5076149336 @default.
- W4309587002 hasAuthorship W4309587002A5089123758 @default.
- W4309587002 hasBestOaLocation W43095870021 @default.
- W4309587002 hasConcept C110546421 @default.
- W4309587002 hasConcept C11413529 @default.
- W4309587002 hasConcept C118615104 @default.
- W4309587002 hasConcept C134306372 @default.
- W4309587002 hasConcept C154945302 @default.
- W4309587002 hasConcept C162392398 @default.
- W4309587002 hasConcept C177264268 @default.
- W4309587002 hasConcept C179799912 @default.
- W4309587002 hasConcept C199360897 @default.
- W4309587002 hasConcept C199622910 @default.
- W4309587002 hasConcept C2524010 @default.
- W4309587002 hasConcept C2776036281 @default.
- W4309587002 hasConcept C2777212361 @default.
- W4309587002 hasConcept C2781045450 @default.
- W4309587002 hasConcept C33923547 @default.
- W4309587002 hasConcept C36503486 @default.
- W4309587002 hasConcept C38652104 @default.
- W4309587002 hasConcept C41008148 @default.
- W4309587002 hasConcept C44616089 @default.
- W4309587002 hasConcept C48372109 @default.
- W4309587002 hasConcept C49937458 @default.
- W4309587002 hasConcept C80444323 @default.
- W4309587002 hasConcept C94375191 @default.
- W4309587002 hasConceptScore W4309587002C110546421 @default.
- W4309587002 hasConceptScore W4309587002C11413529 @default.
- W4309587002 hasConceptScore W4309587002C118615104 @default.
- W4309587002 hasConceptScore W4309587002C134306372 @default.
- W4309587002 hasConceptScore W4309587002C154945302 @default.
- W4309587002 hasConceptScore W4309587002C162392398 @default.
- W4309587002 hasConceptScore W4309587002C177264268 @default.
- W4309587002 hasConceptScore W4309587002C179799912 @default.
- W4309587002 hasConceptScore W4309587002C199360897 @default.
- W4309587002 hasConceptScore W4309587002C199622910 @default.
- W4309587002 hasConceptScore W4309587002C2524010 @default.
- W4309587002 hasConceptScore W4309587002C2776036281 @default.
- W4309587002 hasConceptScore W4309587002C2777212361 @default.
- W4309587002 hasConceptScore W4309587002C2781045450 @default.
- W4309587002 hasConceptScore W4309587002C33923547 @default.
- W4309587002 hasConceptScore W4309587002C36503486 @default.
- W4309587002 hasConceptScore W4309587002C38652104 @default.
- W4309587002 hasConceptScore W4309587002C41008148 @default.
- W4309587002 hasConceptScore W4309587002C44616089 @default.
- W4309587002 hasConceptScore W4309587002C48372109 @default.
- W4309587002 hasConceptScore W4309587002C49937458 @default.
- W4309587002 hasConceptScore W4309587002C80444323 @default.
- W4309587002 hasConceptScore W4309587002C94375191 @default.
- W4309587002 hasLocation W43095870021 @default.
- W4309587002 hasLocation W43095870022 @default.
- W4309587002 hasLocation W43095870023 @default.
- W4309587002 hasLocation W43095870024 @default.
- W4309587002 hasOpenAccess W4309587002 @default.
- W4309587002 hasPrimaryLocation W43095870021 @default.
- W4309587002 hasRelatedWork W1480350067 @default.
- W4309587002 hasRelatedWork W1492779419 @default.
- W4309587002 hasRelatedWork W1525328476 @default.
- W4309587002 hasRelatedWork W1848884953 @default.
- W4309587002 hasRelatedWork W2354343466 @default.
- W4309587002 hasRelatedWork W2547722307 @default.
- W4309587002 hasRelatedWork W2953287580 @default.
- W4309587002 hasRelatedWork W4298364136 @default.
- W4309587002 hasRelatedWork W4309587002 @default.
- W4309587002 hasRelatedWork W70192758 @default.
- W4309587002 hasVolume "75" @default.
- W4309587002 isParatext "false" @default.
- W4309587002 isRetracted "false" @default.
- W4309587002 workType "article" @default.