Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving.
Tom KrügerWolfgang MauererPublished in: CoRR (2020)
Keyphrases
- software components
- sat solving
- case study
- software development
- sat solvers
- software systems
- software reuse
- boolean satisfiability
- simulated annealing
- web services
- building blocks
- software engineering
- sat problem
- development process
- sat encodings
- max sat
- commercial off the shelf
- open source
- reusable components
- constraint satisfaction
- search tree
- search strategies
- real world
- upper bound
- search space
- relational databases
- computational complexity
- genetic algorithm