Keyphrases
- theorem proving
- optimization algorithm
- optimization problems
- decision procedures
- constraint propagation
- global optimization
- neural network
- modal logic
- graph theoretic
- optimization method
- graph theory
- optimization process
- series parallel
- defeasible logic
- graph representation
- graph partitioning
- spanning tree
- graph databases
- graph mining
- inductive logic programming
- logic programs
- multi objective