Proving and Constraint Solving in Computational Origami.

Tetsuo Ida Dorin Tepeneu Bruno Buchberger Judit Robu

Published in: AISC (2004)

Keyphrases

constraint solving
constraint propagation
constraint logic programming
constraint satisfaction problems
constraint solver
constraint satisfaction
constraint programming
evolutionary algorithm
qualitative and quantitative
finite domain