Weighted existential variables

NTU-ALComLab / ssatABC

Stochastic SAT solver within ABC

Other

5 stars 2 forks source link

Open vuphan314 opened 3 years ago

vuphan314 commented 3 years ago

@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.

nianzelee commented 3 years ago

Thank you for the suggestion. I will talk to Roland to see if there are students available for this task.