Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Schulz, Jakob"'
Autor:
Blondin, Michael, Cadilhac, Michaël, Cui, Xin-Yi, Czerner, Philipp, Esparza, Javier, Schulz, Jakob
Ordered binary decision diagrams (OBDDs) are a fundamental data structure for the manipulation of Boolean functions, with strong applications to finite-state symbolic model checking. OBDDs allow for efficient algorithms using top-down dynamic program
Externí odkaz:
http://arxiv.org/abs/2411.17250
Autor:
Schulz, Jakob
Publikováno v:
Journal of Paramedic Practice; December 2022, Vol. 14 Issue: 12 p1-8, 8p
