KOVÁCS R, HORVÁTH G. AN INITIAL PROTOTYPE OF TIERED CONSTRAINT SOLVING IN THE CLANG STATIC ANALYZER. Studia UBB Informatica [Internet]. 2018 Dec. 28 [cited 2025 Apr. 3];63(2):88-101. Available from: https://studia.reviste.ubbcluj.ro/index.php/subbinformatica/article/view/4155