@nianzelee It would be great if existential variables can have weights like random variables do. If that is supported, then this SSAT tool can also perform [CNF-based MPE (literal-weighted SAT)](https://www.cs.rochester.edu/u/kautz/papers/ijcai07-mpe-maxsat.pdf). Thank you.
@nianzelee
It would be great if existential variables can have weights like random variables do.
If that is supported, then this SSAT tool can also perform CNF-based MPE (literal-weighted SAT).
Thank you.