Boolean Solver

let m be the number of primitive constraints in C

epsilon is between 0 and 1 and

determines the degree of incompleteness

for i := 1 to n do

generate a random valuation over the variables in C

if the valuation satisfies C then return true endif

endfor

return unknown