Matches in SemOpenAlex for { <https://semopenalex.org/work/W2574276002> ?p ?o ?g. }
- W2574276002 abstract "After substantial progress over the last 15 years, the algebraic CSP-dichotomy conjecture reduces to the following: every local constraint satisfaction problem (CSP) associated with a finite idempotent algebra is tractable if and only if the algebra has a Taylor term operation. Despite the tremendous achievements in this area (including recently announce proofs of the general conjecture), there remain examples of small algebras with just a single binary operation whose CSP resists direct classification as either tractable or NP-complete using known methods. In this paper we present some new methods for approaching such problems, with particular focus on those techniques that help us attack the class of finite algebras known as commutative idempotent binars (CIBs). We demonstrate the utility of these methods by using them to prove that every CIB of cardinality at most 4 yields a tractable CSP." @default.
- W2574276002 created "2017-01-26" @default.
- W2574276002 creator A5048868819 @default.
- W2574276002 creator A5077027361 @default.
- W2574276002 date "2022-01-19" @default.
- W2574276002 modified "2023-10-14" @default.
- W2574276002 title "Universal Algebraic Methods for Constraint Satisfaction Problems" @default.
- W2574276002 cites W1963602153 @default.
- W2574276002 cites W1978292808 @default.
- W2574276002 cites W1997649256 @default.
- W2574276002 cites W2002611651 @default.
- W2574276002 cites W2026753685 @default.
- W2574276002 cites W2042426573 @default.
- W2574276002 cites W2045417459 @default.
- W2574276002 cites W2052726983 @default.
- W2574276002 cites W2054605362 @default.
- W2574276002 cites W2102459557 @default.
- W2574276002 cites W2116407296 @default.
- W2574276002 cites W2124452950 @default.
- W2574276002 cites W2143836640 @default.
- W2574276002 cites W2150339067 @default.
- W2574276002 cites W2163094612 @default.
- W2574276002 cites W2166566648 @default.
- W2574276002 cites W2253270855 @default.
- W2574276002 cites W2571362277 @default.
- W2574276002 cites W2594523437 @default.
- W2574276002 cites W2605041732 @default.
- W2574276002 doi "https://doi.org/10.46298/lmcs-18(1:12)2022" @default.
- W2574276002 hasPublicationYear "2022" @default.
- W2574276002 type Work @default.
- W2574276002 sameAs 2574276002 @default.
- W2574276002 citedByCount "0" @default.
- W2574276002 crossrefType "journal-article" @default.
- W2574276002 hasAuthorship W2574276002A5048868819 @default.
- W2574276002 hasAuthorship W2574276002A5077027361 @default.
- W2574276002 hasBestOaLocation W25742760021 @default.
- W2574276002 hasConcept C105795698 @default.
- W2574276002 hasConcept C108710211 @default.
- W2574276002 hasConcept C118615104 @default.
- W2574276002 hasConcept C120665830 @default.
- W2574276002 hasConcept C121332964 @default.
- W2574276002 hasConcept C124101348 @default.
- W2574276002 hasConcept C134306372 @default.
- W2574276002 hasConcept C136119220 @default.
- W2574276002 hasConcept C154945302 @default.
- W2574276002 hasConcept C172252984 @default.
- W2574276002 hasConcept C183778304 @default.
- W2574276002 hasConcept C188971069 @default.
- W2574276002 hasConcept C192209626 @default.
- W2574276002 hasConcept C199622910 @default.
- W2574276002 hasConcept C202444582 @default.
- W2574276002 hasConcept C2524010 @default.
- W2574276002 hasConcept C2777212361 @default.
- W2574276002 hasConcept C2780990831 @default.
- W2574276002 hasConcept C33923547 @default.
- W2574276002 hasConcept C41008148 @default.
- W2574276002 hasConcept C49937458 @default.
- W2574276002 hasConcept C87117476 @default.
- W2574276002 hasConcept C9376300 @default.
- W2574276002 hasConceptScore W2574276002C105795698 @default.
- W2574276002 hasConceptScore W2574276002C108710211 @default.
- W2574276002 hasConceptScore W2574276002C118615104 @default.
- W2574276002 hasConceptScore W2574276002C120665830 @default.
- W2574276002 hasConceptScore W2574276002C121332964 @default.
- W2574276002 hasConceptScore W2574276002C124101348 @default.
- W2574276002 hasConceptScore W2574276002C134306372 @default.
- W2574276002 hasConceptScore W2574276002C136119220 @default.
- W2574276002 hasConceptScore W2574276002C154945302 @default.
- W2574276002 hasConceptScore W2574276002C172252984 @default.
- W2574276002 hasConceptScore W2574276002C183778304 @default.
- W2574276002 hasConceptScore W2574276002C188971069 @default.
- W2574276002 hasConceptScore W2574276002C192209626 @default.
- W2574276002 hasConceptScore W2574276002C199622910 @default.
- W2574276002 hasConceptScore W2574276002C202444582 @default.
- W2574276002 hasConceptScore W2574276002C2524010 @default.
- W2574276002 hasConceptScore W2574276002C2777212361 @default.
- W2574276002 hasConceptScore W2574276002C2780990831 @default.
- W2574276002 hasConceptScore W2574276002C33923547 @default.
- W2574276002 hasConceptScore W2574276002C41008148 @default.
- W2574276002 hasConceptScore W2574276002C49937458 @default.
- W2574276002 hasConceptScore W2574276002C87117476 @default.
- W2574276002 hasConceptScore W2574276002C9376300 @default.
- W2574276002 hasLocation W25742760021 @default.
- W2574276002 hasLocation W25742760022 @default.
- W2574276002 hasLocation W25742760023 @default.
- W2574276002 hasLocation W25742760024 @default.
- W2574276002 hasLocation W25742760025 @default.
- W2574276002 hasOpenAccess W2574276002 @default.
- W2574276002 hasPrimaryLocation W25742760021 @default.
- W2574276002 hasRelatedWork W1533184809 @default.
- W2574276002 hasRelatedWork W1979212654 @default.
- W2574276002 hasRelatedWork W1999551182 @default.
- W2574276002 hasRelatedWork W2029837558 @default.
- W2574276002 hasRelatedWork W2082444787 @default.
- W2574276002 hasRelatedWork W2119826020 @default.
- W2574276002 hasRelatedWork W2396217566 @default.
- W2574276002 hasRelatedWork W2574276002 @default.
- W2574276002 hasRelatedWork W2619190623 @default.
- W2574276002 hasRelatedWork W2922502643 @default.
- W2574276002 hasVolume "Volume 18, Issue 1" @default.