SAT Them All
ULB · Faculté des Sciences · Sciences informatiques ·
Par Dominik Dąbkowski, Alexandre De Groodt, Alan Moczulski, Augustin Orban, Ilyas Bakhat, Arthur Coenen
Tuteur(s) : Ayrat Khalimov
Vous vous êtes certainement déjà cassé la tête, comme nous, sur des puzzles de logique similaire à des sudokus. Alors pour essayer de mieux comprendre la logique commune derrière ces puzzles nous avons voulu créer des méthodes et algorithmes qui permettent de les résoudre. Si vous prenez le temps de regarder notre vidéo nous vous présenterons deux méthodes qui permettent de résoudre ces puzzles facilement.