Posts tagged with #smt
-
Let's Build A Theorem Prover: Satisfiability Modulo Theory: Digital Deduction Saga
From propositional logic to first-order logic: introducing theories and equality reasoning into SAT solvers
From propositional logic to first-order logic: introducing theories and equality reasoning into SAT solvers