Der Satz von Dilworth und Souslin's Hypothese.

Karsten Steffens

Published in: Math. Log. Q. (1975)

Keyphrases

sat solvers
sat encodings
special case
general purpose
genetic programming
objective function
computational complexity
cost function
probabilistic model
search algorithm
data structure
relevance feedback
qualitative and quantitative