Derivation of Maximal Compatibles Using Boolean Algebra.

Mitchell P. Marcus

Published in: IBM J. Res. Dev. (1964)

Keyphrases

boolean algebra
constraint query languages
cardinality constraints
theorem prover
set theory
fuzzy logic
linear programming
upper approximation