Existence Versus Exploitation: The Opacity of Backdoors and Backbones Under a Weak Assumption.

Lane A. Hemaspaandra David E. Narváez

Published in: SOFSEM (2019)

Keyphrases

neural network
social networks
satisfiability problem
hidden structure
artificial intelligence
search algorithm
database
real time
genetic algorithm
similarity measure
evolutionary algorithm
np complete
sat solvers
sat instances
complementarity problems