Approximating minimum representations of key Horn functions

Kristóf Bérczi, Endre Boros, Ondřej Čepek +2

Horn functions form a subclass of Boolean functions and appear in many different areas of computer science and mathematics as a general tool to describe implications and dependenci…