Resolem el problema de col·locar N reines en un tauler de NxN amb Prolog. Per fer-ho implementem un predicat per decidir la satisfactibilitat de fórmules Booleanes en CNF mitjançant el procediment de decisió DPLL. Un cop el tinguem, codificarem la resolubilitat del problema de les N reines en fórmules Booleanes i farem servir el nostre predicat de satisfactibilitat Booleana per trobar-ne la solució (quan en tingui).
-
Notifications
You must be signed in to change notification settings - Fork 0
xavierteres/NQueensSAT
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.