Return to search

Clausal Relations and C-clones

We introduce a special set of relations on a finite set, called clausal relations. A restricted version of the Galois connection between polymorphisms and invariants, called Pol-CInv, is studied, where the invariant relations are clausal relations. Clones arising from this Galois connection, so-called C-clones, are investigated. Finally, we show that clausal relations meet a sufficient condition that is known to ensure polynomial time solvability of the corresponding CSP.

Identiferoai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:25629
Date26 May 2011
CreatorsVargas Garcia, Edith Mireya
ContributorsPöschel, Reinhard, Denecke, Klaus, Technische Universität Dresden
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageEnglish
Detected LanguageEnglish
Typedoc-type:doctoralThesis, info:eu-repo/semantics/doctoralThesis, doc-type:Text
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0022 seconds