Journal Articles
Overload Journal #150 - April 2019 and Design of applications and programs
Browse in : |
All
> Journals
> Overload
> o150
(6)
All > Topics > Design (236) Any of these categories |
- Options:
- View Article Map
- View Archives
Note: when you create a new publication type, the articles module will automatically use the templates user-display-[publicationtype].xt and user-summary-[publicationtype].xt. If those templates do not exist when you try to preview or display a new article, you'll get this warning :-) Please place your own templates in themes/yourtheme/modules/articles . The templates will get the extension .xt there.
Modern SAT solvers: fast, neat and underused (part 1 of N)
Bob Schmidt
03 April 2019 23:17:07 +01:00
SAT solvers can quickly find solutions to Boolean Logic problems. Martin Hořeňovský demonstrates how this can be used to solve arbitrary Sudoku puzzles.