Simple but Hard Mixed Horn Formulas.

Gayathri Namasivayam, Miroslaw Truszczynski

Browse the full SAT paper archive.