Spelling suggestions: "subject:"klausale corelationen und cyclone"" "subject:"klausale corelationen und colone""
1 |
Clausal Relations and C-clonesVargas Garcia , Edith Mireya 20 July 2011 (has links) (PDF)
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.
|
2 |
Clausal Relations and C-clonesVargas Garcia, Edith Mireya 26 May 2011 (has links)
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.
|
Page generated in 0.1127 seconds