ผู้เขียน: Armando Tacchella

Enrico Giunchiglia & Armando Tacchella: Theory and Applications of Satisfiability Testing