Kiwi - A Minimalist CP Solver.

Published in: CoRR (2017)

Keyphrases

constraint programming
constraint solver
metadata
quantified boolean formulas
genetic algorithm
image processing
database systems
objective function
digital libraries
artificial neural networks
constraint solving