Etiqueta de registo: 00230nam 2200025 450
001 1716888
003 http://id.bnportugal.gov.pt/bib/catbnp/1716888
100 ## $a20090625d2007 k y0pory01030103ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aBacktracking relaxation algorithms for propositional satisfiability$fAteet Bhalla$gorient. José João Henriques Teixeira de Sousa, João paulo Marques da Silva
210 #9 $aLisboa$c[s.n.],$d2007
215 ## $aXV, 177 p.$cil$d30 cm
320 ## $aBibliografia, p. 161-175
328 #0 $bTese dout.$cPhilosophy in Electrical and Computer Engineering$eInstituto Superior Técnico, Univ. Técnica de Lisboa$d2007
675 ## $a004.8/.9(043)$vBN$zpor$31252941
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aBhalla,$bAteet$31382309
702 #1 $aSousa,$bJosé João Henriques Teixeira de$4727$381882
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. 26644 V.$x1