Structure identification of Boolean relations and plain bases for co-clones
type: Item
instance of: scholarly article
title: Structure identification of Boolean relations and plain bases for co-clones
zbMATH Open document ID: 1152.68020
author: Nadia Creignou
author: Bruno Zanuttini
author: Phokion G. Kolaitis
published in: Journal of Computer and System Sciences
publication date: 2008-11-19T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 06E30
Mathematics Subject Classification ID: 08A70
zbMATH DE Number: 5369040
zbMATH Keywords: computational complexity
zbMATH Keywords: Boolean constraints
zbMATH Keywords: closure properties
zbMATH Keywords: Boolean co-clones
zbMATH Keywords: inverse satisfiability
MaRDI profile type: Publication
full work available at URL: j.jcss.2008.02.005
OpenAlex ID: W2028127968
cites work: Q4864249
cites work: Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras
cites work: Bases for Boolean co-clones
cites work: Complexity classifications of Boolean constraint satisfaction problems
cites work: Structure identification in relational data
cites work: Closed systems of functions and predicates
cites work: The Inverse Satisfiability Problem
cites work: On the Structure of Polynomial Time Reducibility
cites work: Q4354427
cites work: Q3208654
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: The complexity of satisfiability problems
cites work: Partial Polymorphisms and Constraint Satisfaction Problems
cites work: Q3739181
DOI: 10.1016/J.JCSS.2008.02.005
Recommended article: Bases for Boolean co-clones
Recommended article: Weak bases of Boolean co-clones
Recommended article: On separation of Boolean clones by means of hyperidentities
Recommended article: Q3607814
Recommended article: Q6181456
Recommended article: Boolean max-co-clones
Recommended article: Q3979086
Recommended article: Q3979181
Recommended article: Boolean Structures
Recommended article: Q3976380
description: scientific article; zbMATH DE number 5369040