Efficient Manipulation of Logical Formulas as Decision Diagrams

Mondok, Milán [Mondok, Milán (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT); Molnár, Vince [Molnár, Vince (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Kritikus Rendszerek Kutatócsoport (BME / VIK / MIT)

Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent: Proceedings of the 31th Minisymposium. (2024) ISBN:9789634219514 pp. 61-65
    Azonosítók
    • MTMT: 34869419
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2026-10-16 22:21