Etiqueta de registo: 00000nx a22000253 45
001 1413437
100 ## $a20100310apory0103 ba0
152 ## $aRPC
200 #1 $aMayer-Eichberger,$bValentin Christian Johannes Kaspar
801 #0 $aPT$bBN
810 ## $aTowards solving a system of pseudo boolean constraints with binary decision diagrams
830 ## $aMestr. Lógica Computacional
ver registos bibliográficos associados