Mayer-Eichberger, Valentin Christian Johannes Kaspar
Towards solving a system of pseudo boolean constraints with binary decision diagrams / Valentin Christian Johannes Kaspar Mayer-Eichberger. - Lisboa : V. C. J. K. M. , 2008 . - IV, 69 p. ; 30 cm + 1 CD-ROM.
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 / Valentin Christian Johannes Kaspar Mayer-Eichberger. - Lisboa : V. C. J. K. M. , 2008 . - IV, 69 p. ; 30 cm + 1 CD-ROM.
ISBN
Lógica computacional
Estruturação de dados (Informática)
Algoritmos
Tomada de decisão
LCC QA76.63