Certifying Incremental SAT Solving.

Katalin Fazekas Florian Pollitt Mathias Fleury Armin Biere

Published in: LPAR (2024)

Keyphrases

sat solving
sat solvers
boolean satisfiability
sat problem
boolean optimization
sat encodings
orders of magnitude
max sat
genetic algorithm
evolutionary algorithm
upper bound