Carsten Sinz,
"Towards an optimal CNF encoding of Boolean cardinality"
: Proc. of the 11th Intl. Conf. on Principles and Practice of Constraint Programming (CP 2005), Seite(n) 827-831, 10-2005
Original Titel:
Towards an optimal CNF encoding of Boolean cardinality
Sprache des Titels:
Englisch
Original Buchtitel:
Proc. of the 11th Intl. Conf. on Principles and Practice of Constraint Programming (CP 2005)
Forschungs-