The spectrum of maximal independent subsets of a Boolean algebra.

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

boolean algebra
cardinality constraints
constraint query languages
theorem prover
set theory
gray scale
upper approximation
data mining
convex hull