Lima, João F., Portugal

• Eletrónica e Telecomunicações vol. 5 n.º 2 (2010) - Secção Especial: Programa Doutoral em Engenharia Electrotécnica 2009-2010
  Boolean satisfiability solvers: techniques, implementations and analysis
  Resumo  PDF (English)