Sign in

Backdoors into Two Occurrences.

Jan Johannsen
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