Please see github.com/anusha-murali for all of my repositories.
Set all variables to false and greedily set ones to be true when forced to.
Runtime: Linear in the length of the formula (i.e # of literals).
Data Structures and Algorithms Table of Contents