info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Nut Cracker Challenge 2023/2024: SAT Sudoku
12 views
Skip to first unread message
Mild Shock
Nov 30, 2023, 3:09:28 AM11/30/23
to
Now there was this article:
Logic Puzzles and SAT Solvers: A match made in heaven.
https://sabhijit.medium.com/logic-puzzles-and-sat-solvers-a-match-made-in-heaven-5e0a7a64c04b
Unfortunately it didn't even mention one of the Prolog
libraries for SAT solving. Can this situation be changed?
How would we do Sudoku in SAT solving? Is it worth?
Logic Puzzles and SAT Solvers: A match made in heaven.
https://sabhijit.medium.com/logic-puzzles-and-sat-solvers-a-match-made-in-heaven-5e0a7a64c04b
Unfortunately it didn't even mention one of the Prolog
libraries for SAT solving. Can this situation be changed?
How would we do Sudoku in SAT solving? Is it worth?
0 new messages