Etiqueta de registo: 00230nam 2200025 450
001 1856654
003 http://id.bnportugal.gov.pt/bib/catbnp/1856654
100 ## $a20131121d2013 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aParallel search for maximum satisfiability$fRuben Carlos Gonçalves Martins$gorient. Maria Inês Camarate de Campos Lynce de Faria, Vasco Miguel gomes Nunes Manquinho
210 #9 $a[Lisboa$cs.n.],$d2013
215 ## $aXVIII, 132 p.$cil.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Information Systems and Computer Engineering, Inst. Sup. Técnico, Univ. de Lisboa, 2013
675 ## $a519.71(043)$vBN$zpor$3389481
700 #1 $aMartins,$bRuben Carlos Gonçalves$31440516
702 #1 $aFaria,$bMaria Inês Camarate de Campos Lynce de$4727$31235384
702 #1 $aManquinho,$bVasco Miguel Gomes Nunes$4727$3918415
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 55844 P.$x1
966 ## $lBN$mFGMON$sS.A. 152272 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1761772
003 http://id.bnportugal.gov.pt/bib/catbnp/1761772
100 ## $a20101105d2007 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a O impacto da modelação na resolução de problemas de satisfação proposicional$fRuben Carlos Gonçalves Martins
210 #9 $a[Lisboa$cs.n.],$d2007
215 ## $aXIV, 73 p.$cil.$d30 cm
320 ## $aBibliografia, p. 69-73
328 #1 $aTese mestr. Matemática e Aplicações, Inst. Sup. Técnico, Univ. Técnica de Lisboa, 2007
675 ## $a519.7(043)$vBN$zpor$31229234
700 #1 $aMartins,$bRuben Carlos Gonçalves$31440516
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 136724 V.$x1