Գրեք սա: Integración de algoritmos de satisfacción booleana en redes bayesianas para reducir la complejidad computacional