Verifying Multithreaded Recursive Programs with Integer Variables.
Narjes Ben RajebBrahim NasraouiRiadh RobbanaTayssir TouiliPublished in: INFINITY (2009)
Keyphrases
- recursive programs
- integer variables
- branch and bound algorithm
- program synthesis
- logic programs
- network design problem
- transformation rules
- knapsack problem
- objective function
- continuous variables
- mixed integer
- lower bound
- approximation algorithms
- optimal solution
- branch and bound
- optimization problems
- lagrangian relaxation
- dynamic systems
- upper bound
- genetic algorithm
- inductive logic programming
- combinatorial optimization
- bayesian networks