Effiziente Erfüllbarkeitsalgorithmen für die Generierung von Testmustern (Efficient Satisfiability Solving Algorithms for Test Pattern Generation).
Rolf DrechslerStephan EggersglüßGörschwin FeyJürgen SchlöffelDaniel TillePublished in: it Inf. Technol. (2009)
Keyphrases
- computationally expensive
- computationally efficient
- combinatorial optimization
- computational complexity
- significant improvement
- orders of magnitude
- data structure
- computationally complex
- algorithmic solutions
- computationally intensive
- theoretical analysis
- stochastic local search
- computational problems
- benchmark datasets
- learning algorithm
- resource constrained project scheduling problem
- satisfiability testing
- np complete
- simulated annealing
- computational cost
- clustering algorithm