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:bsz:14-qucosa-70905
Date20 July 2011
CreatorsVargas Garcia , Edith Mireya
ContributorsTechnische Universität Dresden, Fakultät Mathematik und Naturwissenschaften, Prof. Dr. rer. nat. habil Reinhard Pöschel, Prof. Dr. Dr. hc. Klaus Denecke, Prof. Dr. rer. nat. habil Reinhard Pöschel
PublisherSaechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
Source SetsHochschulschriftenserver (HSSS) der SLUB Dresden
LanguageEnglish
Detected LanguageEnglish
Typedoc-type:doctoralThesis
Formatapplication/pdf

Page generated in 0.0016 seconds