Min (a)cyclic feedback vertex sets and min ones monotone 3-SAT.

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

Keyphrases

search algorithm
state space
neural network
genetic algorithm
social networks
relevance feedback
search strategies
sat solving
max sat solver