DaftarIsitemplate

Call Number

SEM-281

Title

The quest fo efficient boolean satisfiability solvers, Hal. 295-313

Author

Lintao Zhang; Sharad Malik;

Publisher

Proceedings : Automated deduction CADE-18, 18th International conference on automated deduction Copenhagen, Denmark, July 2002

Subject

Location