SAT-Based Horn Least Upper Bounds.

Carlos Menca, Alessandro Previti, Joo Marques-Silva

Browse the full SAT paper archive.