4 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Thomas Vigouroux, Marius Bozga, Cristian Ene +1
Given a boolean formula Φ(X, Y, Z), the Max\#SAT problem asks for finding a partial model on the set of variables X, maximizing its number of projected models over the set of var…