Etiqueta de registo: 00761cam 2200217 450
001 1053518
003 http://id.bnportugal.gov.pt/bib/catbnp/1053518
005 20010924114300.0
100 ## $a20010420d2000 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aEstudo e avaliação de heurísticas em algoritmos de procura para solvabilidade proposicional$bTexto policopiado]$fLuis Manuel Tremoceiro Baptista
210 #9 $aLisboa$c[s.n.],$d2000
215 ## $aXIII, 93 p.$d30 cm
320 ## $aBibliografia, p. 91-93
328 ## $aTese mestr. Engenharia Electrotécnica e de Computadores, Univ. Téc. de Lisboa, 2000
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a162.6(043.2)$vBN$zpor$31002586
700 #1 $aBaptista,$bLuís Manuel Tremoceiro$3997613
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 16160 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1987098
003 http://id.bnportugal.gov.pt/bib/catbnp/1987098
100 ## $a20180402d2017 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aUsing restarts in constraint programming over finite domains$ean experimental evaluation$fLuís Manuel Tremoceiro Baptista$gorient. Francisco de Moura e Castro Ascensão de Azevedo
210 #9 $aLisboa$c[s.n.],$d2017
215 ## $aXVIII, 128 p.$cil.$d30 cm
328 #1 $aTese dout. Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2017
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aBaptista,$bLuís Manuel Tremoceiro$3997613
702 #1 $aAzevedo,$bFrancisco de Moura e Castro Ascensão de$4727$31145561
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 50272 V.$x1