Unprovability results for clause set cycles.

Stefan Hetzl Jannik Vierling

Published in: Theor. Comput. Sci. (2022)

Keyphrases

neural network
genetic algorithm
artificial intelligence
search space
small number
database
convex hull