Login / Signup
A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF.
Domenico Cantone
Andrea De Domenico
Pietro Maugeri
Eugenio G. Omodeo
Published in:
CILC (2020)
Keyphrases
</>
boolean formulae
conjunctive normal form
boolean variables
propositional formulas
objective function
global constraints
constraint satisfaction
decision trees
linear constraints
computational complexity
simulated annealing
boolean formula