DaftarIsitemplate

Call Number

005.133 Bee P

Title

Towards an optimal CNF Encoding of boolean cardinality constraints, (LNCS-Lecture Notes in Computer Science 3709) Hal 827-831

Author

Carsten Sinz;

Publisher

Springer, 2005

Subject

Location