Notes on Majority Boolean Algebra.

Anupam Chattopadhyay Luca Gaetano Amarù Mathias Soeken Pierre-Emmanuel Gaillardon Giovanni De Micheli

Published in: ISMVL (2016)

Keyphrases

boolean algebra
constraint query languages
cardinality constraints
theorem prover
set theory
database
image analysis
knowledge representation
object oriented
database applications
upper approximation