Keyphrases
- theorem proving
- decision procedures
- optimization algorithm
- optimization process
- global optimization
- optimization problems
- constrained optimization
- graph structure
- directed graph
- inductive logic programming
- graph matching
- optimization methods
- graph theory
- theorem prover
- optimization method
- spanning tree
- graph partitioning
- random graphs
- defeasible logic