SAT / SMT problems Satisfiability problems Linear Algebra based boolean problems something https://klee.github.io/docs/ https://smt.st/SAT_SMT_by_example.pdf