A lower bound on CNF encodings of the at-most-one constraint

Autor:	Kučera, Petr, Savický, Petr, Vorel, Vojtěch
Zdroj:	In Theoretical Computer Science 1 March 2019 762:51-73
Databáze:	ScienceDirect
Externí odkaz:	Zobrazit plný text záznamu Full Text from ScienceDirect