Zum Satz von Borisow-Fedosejew.

Manfred Koegst Otto Kolp

Published in: J. Inf. Process. Cybern. (1972)

Keyphrases

sat solvers
sat encodings
general purpose
search engine
search algorithm
np hard
upper bound
genetic programming
domain independent