VolCE: An Efficient Tool for Solving #SMT(LA) Problems.
Cunjing GeFeifei MaJian ZhangPublished in: PRUV@IJCAR (2018)
Keyphrases
- solving problems
- combinatorial optimization
- solving complex
- quadratic program
- quadratic optimization problems
- data sets
- neural network
- probabilistic model
- information extraction
- natural language processing
- optimization problems
- np complete
- graph coloring
- resource constrained project scheduling problem
- constrained problems
- convex optimization problems