@masterthesis{martins-msc,
  author =       {Ruben Martins}, 
  title =        {{O Impacto da Modela\c{c}\~{a}o na Resolu\c{c}\~{a}o de Problemas de Satisfa\c{c}\~{a}o Proposicional}},
  organization =    {Instituto Superior T\'{e}cnico, Technical University of Lisbon, Portugal},
  year =         2007,
}