Short Single Axioms for Boolean Algebra.

William McCune Robert Veroff Branden Fitelson Kenneth Harris Andrew Feist Larry Wos

Published in: J. Autom. Reason. (2002)

Keyphrases

boolean algebra
knowledge base
set theory
cardinality constraints
artificial intelligence
linear programming
constraint query languages