Transforming Boolean equalities into constraints.

Sergio Antoy Michael Hanus

Published in: Formal Aspects Comput. (2017)

Keyphrases

real valued
linear inequalities
boolean functions
boolean constraints
data sets
information systems
constraint satisfaction
databases
data mining
artificial intelligence
search engine
constraint programming
geometric constraints
constrained optimization
resource constraints