A polynomial Time Algorithm to Solve The Max-atom Problem

Chams Lahlou, Laurent Truffet

In this paper we consider $m$ ($m\ge 1$)conjunctions of Max-atoms that is atoms of the form $\max (z,y)+r\ge x$, where the offset $r$ is a real constant and $x,y,z$ are variab…