Дәйектеу үшін:

Бейшекеев А., Умаров Т. 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