no code implementations • 26 Feb 2014 • Sigve Hortemo Sæther, Jan Arne Telle, Martin Vatshelle
Let the ps-value of the formula be the number of precisely satisfiable sets of clauses.
