Etiqueta de registo: 00230nam 2200025 450
001 1686758
003 http://id.bnportugal.gov.pt/bib/catbnp/1686758
100 ## $a20080708d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aLearning tecnhiques for model enumeration in boolean satisfiability$bTexto policopiado]$dTécnicas de aprendizagem para enumeração de modelos em satisfação booleana$fAntónio José dos Reis Morgado$gorient. João Paulo Marques da Silva$zpor
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXIV, 113 p.$cil.$d30 cm
320 ## $aBibliografia, p. 107-113
328 #0 $bTese mestr.$cEngenharia Informática e Computação$eInst. Superior Técnico, Univ. Técnica de Lisboa $d2006
510 1# $aTécnicas de aprendizagem para enumeração de modelos em satisfação booleana$zpor
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a519.6/.8(043)$vBN$zpor$31302575
700 #1 $aMorgado,$bAntónio José dos Reis$31333011
702 #1 $aSilva,$bJoão Paulo Marques da$4727$3470745
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 24771 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2001546
003 http://id.bnportugal.gov.pt/bib/catbnp/2001546
100 ## $a20180926d2010 m y0pory01030103ba
101 0# $aeng
102 ## $aIE
105 ## $aa z 000yy
106 ## $ar
200 1# $aModeling and solving combinatorial optimization problems$fAntónio José dos Reis Morgado$gorient. Joe Carthy, Joao Marques-Silva
210 #9 $aDublim$c[s.n.],$d2010
215 ## $a115 p.$cil.$d30 cm
328 #1 $aTese dout. Philosophy, School of Computer Science and Informatics College of Engineering, Mathematical and Physical Sciences, Univ. College Dublin, 2010
675 ## $a004.8(043)$vBN$zpor$31234122
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a519.6/.8(043)$vBN$zpor$31302575
700 #1 $aMorgado,$bAntónio José dos Reis$31333011
702 #1 $aCarthy,$bJoe$4727$31725769
702 #1 $aSilva,$bJoão Marques$4727$31725770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 51480 V.$x1