ACCU Home page ACCU Conference Page
Search Contact us ACCU at Flickr ACCU at GitHib ACCU at Google+ ACCU at Facebook ACCU at Linked-in ACCU at Twitter Skip Navigation

Design of applications and programs and Overload Journal #150 - April 2019

Options:
View Article Map
View Archives
Modern SAT solvers: fast, neat and underused (part 1 of N)
Description : 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.