6
SAT алгоритмы, не основанные на DPLL
Существуют ли алгоритмы решения SAT, не основанные на DPLL? Или все алгоритмы, используемые решателями SAT, основаны на DPLL?
SAT обозначает булеву проблему выполнимости.