ผู้เขียน: Carla P. Gomes

Armin Biere & Carla P. Gomes: Theory and Applications of Satisfiability Testing – SAT 2006