DaftarIsitemplate

Call Number

SEM-301

Title

A Short overview on modern parallel SAT-Solvers, Hal. 201-206

Author

Steffen Holldobler, Norbert Manthey, Van Hau Nguyen, Julian Steckilna, Peter Steinke;

Publisher

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

Subject

Location