The project will explore how ????? ?????? ???????? (????) can improve heuristics in SAT and MaxSAT solvers, combining machine learning with symbolic solving techniques.
? For Bachelor’s and Master’s students interested in ??, ??????? ????????, ???/?????? and ????????????? ????????????.