New methods in forcing iteration and applications.

Rahman Mohammadpour

Published in: Bull. Symb. Log. (2023)

Keyphrases

data sets
significant improvement
empirical studies
benchmark datasets
machine learning methods
neural network
computationally expensive
artificial intelligence
search algorithm
preprocessing
evolutionary algorithm
hybrid method