SAT, CDCL and Theories In the first post of the series, I'll discuss the main idea of an SMT solver and the theories involved to understand the algorithm behind the SMT solver such as Z3. Table of Contents Basic Terminologies What is a SAT Solver? ...
ish4n10.hashnode.dev6 min readNo responses yet.