CrystalBall: Gazing in the Black Box of SAT Solving.

Mate Soos Raghav Kulkarni Kuldeep S. Meel

Published in: SAT (2019)

Keyphrases

black box
sat solving
sat solvers
black boxes
boolean satisfiability
test cases
boolean optimization
white box
white box testing
sat problem
integration testing
symmetry breaking
sat encodings
max sat
genetic algorithm
orders of magnitude
search space