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.