Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques.
Clara BertolissiDaniel Ricardo dos SantosSilvio RanisePublished in: SACMAT (2018)
Keyphrases
- satisfiability problem
- multi objective
- stochastic local search
- evolutionary algorithm
- np complete
- optimization problems
- sat instances
- temporal logic
- search algorithm
- combinatorial optimization
- phase transition
- modulo theories
- graph coloring problems
- sat problem
- objective function
- particle swarm optimization
- davis putnam logemann loveland
- max sat
- genetic algorithm
- answer set programming
- solving problems
- model checking
- constraint satisfaction problems
- computational complexity