An integer programming formulation for generating and solving Survo puzzle

Home Page
About
Submit A Journal
Submit A Conference
Submit Paper/Book
- Submit a Preprint
- Submit a Book
Contact

Erciyes Üniversitesi İktisadi ve İdari Bilimler Fakültesi Dergisi
Sayı: 71
An integer programming formulation for generating and solving Survo puzzle

An integer programming formulation for generating and solving Survo puzzle

Authors : Banu Sungur, Fatma Selen Madenoğlu

Pages : 41-44

Doi:10.18070/erciyesiibd.1666419

View : 58 | Download : 100

Publication Date : 2025-08-30

Article Type : Research Paper

Abstract :Puzzles are often generated for entertainment but also mathematical or logical problems. Every puzzle has its logic and mathematics. Puzzles become more understandable when we can grasp and model the underlying logic. For this reason, puzzles constitute a research area of interest to scientists. One of the logic puzzles is the Survo puzzle. We have formulated an integer linear programming model to generate and solve this puzzle. Illustrative examples have been given to show the validity of the formulation. The model’s effectiveness has been tested by solving Survo puzzles available on the internet. The solutions have been obtained in short CPU times. Then, the effectiveness of the model has been analyzed using experimental computations. The computational results have been obtained from a number of Survo puzzle instances. The proposed mathematical model has generated puzzles up to 50x50 size in short CPU times, a maximum of 254 seconds. Puzzles up to size 15x15 have been solved.
Keywords : Survo, Bulmaca, Matematiksel programlama, Tamsayılı programlama

ORIGINAL ARTICLE URL

* There may have been changes in the journal, article,conference, book, preprint etc. informations. Therefore, it would be appropriate to follow the information on the official page of the source. The information here is shared for informational purposes. IAD is not responsible for incorrect or missing information.