Trusted Scalable SAT Solving with On-The-Fly LRAT Checking.

Dominik Schreiber

Published in: SAT (2024)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
symmetry breaking
boolean optimization
max sat
information retrieval