Return to Article Details Parallel algorithms for solving SAT-problems in application to optimization problems with Boolean constraints Download Download PDF