HPC-based parallel software for solving applied Boolean satisfiability problems.

Vera G. Bogdanova Sergey A. Gorsky Anton A. Pashinin

Published in: MIPRO (2020)

Keyphrases

satisfiability problem
stochastic local search
davis putnam logemann loveland
phase transition
finite domain
conjunctive normal form
solving hard
np complete
boolean functions
combinatorial problems
high performance computing