NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 2
  • Tagged with
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.

Search results

Showing 1 to 2 of 2 (0.122 seconds)

Spelling suggestions: "subject:"clausal relation anda clones"" "subject:"clausal relation anda cyclones""

1

Clausal Relations and C-clones

Vargas 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.
Klone
Galoisverbindung
Klausale Relationen und C-Klone
Clones
Galois connection
Clausal relation and C-clones
ddc:512
ddc:510
rvk:SK 200
2

Clausal Relations and C-clones

Vargas 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.
info:eu-repo/classification/ddc/512
ddc:512
info:eu-repo/classification/ddc/510
ddc:510

Page generated in 0.126 seconds