Backdoors into Two Occurrences.

Published in: J. Satisf. Boolean Model. Comput. (2020)

Keyphrases

hidden structure
pattern matching
satisfiability problem
sat instances
database
databases
sat solvers
neural network
image processing
database systems
computational complexity
event sequences