The First and Second Max-SAT Evaluations | Publicación