ผู้เขียน: Stefan Szeider

Ofer Strichman & Stefan Szeider: Theory and Applications of Satisfiability Testing – SAT 2010