• Horn Formula

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