Finding the Hardest Formulas for Resolution.

Tomás Peitl Stefan Szeider

Published in: J. Artif. Intell. Res. (2021)

Keyphrases

database
real time
machine learning
genetic algorithm
multiscale
np hard
image resolution