DaftarIsitemplate

Call Number

SEM-281

Title

A Sat based approach for solving formulas over boolean and linear mathematical propositions, Hal. 193-210

Author

Gilles Audemard; Piergiorgio Bertoli, Alessandro Cimatti;

Publisher

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

Subject

Location