DaftarIsitemplate

Call Number

SEM-281

Title

Testing satisfiability of CNF formulas by computing a stable set of points, Hal. 161-180

Author

Eugene Goldberg;

Publisher

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

Subject

Location