Comparative Study of Logic Control Based on Pan-Boolean Algebra.

Haiping Lin Jing Chen Li Chen Jianxun Lang

Published in: PACIIA (2) (2008)

Keyphrases

comparative study
boolean algebra
cardinality constraints
constraint query languages
theorem prover
set theory
database
artificial intelligence
databases
linear programming
message passing