DaftarIsitemplate

Call Number

005.133 Bee P

Title

Neighbourhood clause weight redistribution in local search for sat, (LNCS-Lecture Notes in Computer Science 3709) Hal 772-776

Author

Abdelraouf Ishtaiwi; John Thornton; Abdul Sattar; Duc Nghia Pham;

Publisher

Springer, 2005

Subject

Location