Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving.
Tom KrügerWolfgang MauererPublished in: ICSE (Workshops) (2020)
Keyphrases
- software components
- sat solving
- case study
- software development
- sat solvers
- software systems
- boolean satisfiability
- software reuse
- simulated annealing
- sat problem
- building blocks
- web services
- business process
- commercial off the shelf
- development process
- software engineering
- search tree
- reusable components
- design process
- open source
- max sat
- real world
- randomly generated
- data model
- evolutionary algorithm
- optimal solution
- genetic algorithm