ALIAS: A Modular Tool for Finding Backdoors for SAT.

Stepan Kochemazov Oleg Zaikin

Published in: SAT (2018)

Keyphrases

satisfiability problem
sat solvers
sat instances
sat problem
search algorithm
orders of magnitude
data mining
artificial intelligence
e learning
expert systems
np hard
max sat