Proving and Constraint Solving in Computational Origami.

Tetsuo Ida, Dorin Tepeneu, Bruno Buchberger, Judit Robu

Browse the full AISC paper archive.