ผู้เขียน: David G. Mitchell

Holger H. Hoos & David G. Mitchell: Theory and Applications of Satisfiability Testing