Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem.
Chu-Min LiZhiwen FangKe XuPublished in: ICTAI (2013)
Keyphrases
- upper bound
- branch and bound algorithm
- lower bound
- worst case
- branch and bound
- lower and upper bounds
- error probability
- knowledge base
- incremental learning
- automated reasoning
- reasoning process
- data driven
- legal reasoning
- maximum clique
- orders of magnitude
- combinatorial optimization
- np hard
- boolean satisfiability
- incremental algorithms
- neural network