Solanki, Arnav2018-05-032018-05-032018https://hdl.handle.net/11299/196297Faculty advisor: Marc RiedelenPREDICTION AND SIMULATION OF ORIGAMI THROUGH BOOLEAN SATISFIABILITYPresentation