Frozen Boolean partial co-clones
2009 (English)In: Proceedings of the 39th International Symposium on Multiple-Valued Logic (ISMVL-2009), 2009, 120-125 p.Conference paper (Refereed)
We introduce and investigate the concept of frozen partial co-clones. Our main motivation for studying frozen partial co-clones is that they, have important applications in complexity analysis of constraints. The frozen partial co-clones lie between the co-clones and partial co-clones in the sense that the partial co-clone lattice is a refinement of the frozen partial co-clone lattice, which in turn is a refinement of the co-clone lattice. We concentrate on the Boolean domain. and determine large parts of the frozen partial co-clone lattice.
Place, publisher, year, edition, pages
2009. 120-125 p.
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-50539DOI: 10.1109/ISMVL.2009.10ISI: 000273629000022ISBN: 978-0-7695-3607-1 (online)ISBN: 978-1-4244-3841-9 (print)OAI: oai:DiVA.org:liu-50539DiVA: diva2:271524
39th International Symposium on Multiple-Valued Logic, ISMVL 2009; Naha, Okinawa; Japan