Login / Signup
On black-box optimization in divide-and-conquer SAT solving.
Oleg Zaikin
Stepan Kochemazov
Published in:
Optim. Methods Softw. (2021)
Keyphrases
</>
black box
sat solving
black boxes
white box
sat solvers
optimization problems
test cases
optimization algorithm
boolean satisfiability
database systems
integration testing
test data
sat problem
search tree
satisfiability problem
open source
learning algorithm
white box testing