TaSSAT: Transfer and Share SAT.

Md. Solimul Chowdhury Cayden R. Codel Marijn J. H. Heule

Published in: TACAS (1) (2024)

Keyphrases

satisfiability problem
sat solvers
knowledge transfer
boolean satisfiability
stochastic local search algorithms
search algorithm
transfer learning
phase transition
learning algorithm
orders of magnitude
temporal logic
sat problem
sat solving