Login / Signup

Integrating Tree Decompositions into Decision Heuristics of Propositional Model Counters (Short Paper).

Tuukka KorhonenMatti Järvisalo
Published in: CP (2021)
Keyphrases
  • probabilistic model
  • search algorithm
  • database
  • video sequences
  • special case
  • np hard