A SAT Approach to Branchwidth.
Neha LodhaSebastian OrdyniakStefan SzeiderPublished in: ACM Trans. Comput. Log. (2019)
Keyphrases
- sat solvers
- satisfiability problem
- boolean satisfiability
- stochastic local search algorithms
- constraint satisfaction
- sat problem
- phase transition
- sat solving
- propositional satisfiability
- search algorithm
- neural network
- max sat
- search strategies
- stochastic local search
- data mining
- data sets
- knowledge base
- information systems
- machine learning
- sat encodings
- satisfiability testing
- pseudo boolean constraints