We propose and analyze a simple new randomized algorithm, called ResolveSat, for finding satisfying assignments of Boolean formulas in conjuctive normal form.
We propose and analyze a simple new randomized algorithm, called ResolveSat, for finding satisfying assignments of Boolean formulas in conjuctive normal form. (en)
Navrhujeme a analyzujeme nový pravděpodobnostní algoritmus, zvaný Resolvesat, pro nalezení splňujícího ohodnocení booleovských formulí v konjuktivní normální formě. (cs)