A Lower Bound on CNF Encodings of the At-Most-One Constraint.

Petr Kucera, Petr Savick, Vojtech Vorel

Browse the full SAT paper archive.