0
votes
1answer
150 views

Find a best 4-tuple which fulfils a variable boolean formula

I am looking for an algorithm... I have a kind of boolean formulae which contain $\wedge$, $\vee$, $+$ as arithmetic operator, relational operators ($<, >, \ldots)$, 4 integer constants $c_0, ...