3 ms·
Decision Procedures [1] is a very good (and quite accessible) overview of the algorithms used in modern sat/smt solvers. [1]: https://www.decision-procedures.o
by xwvvvvwx 5y ago
Decision Procedures [1] is a very good (and quite accessible) overview of the algorithms used in modern sat/smt solvers.
[1]: https://www.decision-procedures.org/ https://www.decision-procedures.org/