Для цитирования:

Бейшекеев А., Умаров Т. ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ СПРАВЕДЛИВОСТИ И УСТОЙЧИВОСТИ ДЕРЕВЬЕВ РЕШЕНИЙ С ПОМОЩЬЮ SMT-РЕШАТЕЛЕЙ. Вестник Казахстанско-Британского технического университета. 2026;23(2):312-325. https://doi.org/10.55452/1998-6688-2026-23-2-312-325

For citation:

Beishekeyev A., Umarov T. FORMAL VERIFICATION OF DECISION TREE FAIRNESS AND ROBUSTNESS VIA SMT SOLVER. Herald of the Kazakh-British Technical University. 2026;23(2):312-325. https://doi.org/10.55452/1998-6688-2026-23-2-312-325