wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

satisfiability_weighted_obdds (367B)

      1 # Satisfiability weighted obdds
      2 
      3 Can do [satisfiability_weighted] for [OBDDs] by [product_construction] in the case of [unary] weights
      4 
      5 Also following [topological_sort], cf <2jzxunmsdpibv6fugq7ea2hynubogjv23hodoeht3zvkarqrnn@sehlj2lzwszy>
      6 
      7 Up: [satisfiability_weighted_knowledge_compilation], [satisfiability_weighted], [obdd]
      8 
      9 Aliases: satisfiability weighted obdd