Subtropical Satisfiability for SMT Solving.

Jasper Nalbach Erika Ábrahám

Published in: NFM (2023)

Keyphrases

satisfiability problem
sat instances
propositional logic
sat encodings
sat solving
computational complexity
stochastic local search