Mayer-Eichberger, Valentin Christian Johannes Kaspar
Towards solving a system of pseudo boolean constraints with binary decision diagrams [Documento electrónico] / Valentin Christian Johannes Kaspar Mayer-Eichberger. - Lisboa : V. C. J. K. M. , 2008 . - 1 CD-ROM ; 12cm.
ISBN
Lógica computacional
Estruturação de dados (Informática)
Algoritmos
Tomada de decisão
LCC QA76.63
Towards solving a system of pseudo boolean constraints with binary decision diagrams [Documento electrónico] / Valentin Christian Johannes Kaspar Mayer-Eichberger. - Lisboa : V. C. J. K. M. , 2008 . - 1 CD-ROM ; 12cm.
ISBN
Lógica computacional
Estruturação de dados (Informática)
Algoritmos
Tomada de decisão
LCC QA76.63