Ein Templescher Satz für nichtlineare Eigenwertaufgaben.

Karl Peter Hadeler

Published in: Computing (1969)

Keyphrases

sat solvers
sat encodings
constraint satisfaction
search space
co occurrence
simulated annealing
genetic algorithm ga