Template Function ADS::halfSatisfiable

• Defined in File MonteCarlo.h

Function Documentation

template<class F, class R>
bool ADS::halfSatisfiable(F &&f, std::size_t n, int K, R &rng)

whether the formula f of n variables is true on more than half of the assignments, from K random ones

Pre:

K >= 0