DaftarIsitemplate

Call Number

005.133 Bee P

Title

Exploiting unit propagation to compute lower bounds in branch and bound max-sat solvers, (LNCS-Lecture Notes in Computer Science 3709) Hal 403-414

Author

Chu Min Li; Felip Manya; Jordi Planes;

Publisher

Springer, 2005

Subject

Location