DaftarIsitemplate

Call Number

SEM-301

Title

A Short overview on modern parellal SAT-Solver, Hal. 201-214

Author

Steffen Holldobler, Norbert Manthey, Van Hau Nguyen; Julian Stecklina;

Publisher

ICACSIS'2011: International conference of advanced computer science and information systems, Jakarta, 17th-18th, December 2011

Subject

Location