Automating Rigid Origami Design. - Jeremia Geiger; Karolis Martinkus; Oliver Richter; Roger Wattenhofer (IJCAI, 2023)