Bernardo C. Vieira

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
The state-of-the-art SAT solvers, such as Chaff [11], zChaff [18], BerkMin [5], and Minisat [2] usually share the same core techniques, for instance: the watched literals structures conflict clause recording and non-chronological backtracking. Nevertheless, they generally differ in the elimination of learnt clauses as well as in the decision heuristic. This(More)
  • 1