SAT-based search for systems of diagonal latin squares in volunteer computing project SAT@home.

Oleg Zaikin Stepan Kochemazov Alexander A. Semenov

Published in: MIPRO (2016)

Keyphrases

search algorithm
sat solvers
management system
search strategies
satisfiability problem
case study
search space
project management
search problems
lower bound
expert systems
distributed systems
software development
model checking
search methods
stochastic local search