@incollection{martins-graca-diagonal12,
  author      = {Ruben Martins and Ana Gr\c{c}a},
  title       = {{Satisfa\c{c}\~ao e Optimiza\c{c}\~ao Booleanas: Jogos, Puzzles e Gen\'etica}},
  editor      = {Jo\~ao Pedro Boavida and Rui Pedro Carpentier and Lu\'is Cruz-Filipe and Pedro S. Gon\c{c}alves and Elo\'isa Grifo and David Henriques and Ana Rita Pires},
  booktitle   = {N\'umeros, Cirugias e N\'os de Gravata},
  publisher   = {IST Press},
  pages       = {252-270},
  year        = 2012,
}