Anusha Murali

Logo

Please see github.com/anusha-murali for all of my repositories.

View GitHub Profile

Horn Formula

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).

Back to Greedy Algorithms

Data Structures and Algorithms Table of Contents


anusha-murali.github.io