Reducing SAT to Max2SAT
2021
Supported by projects PROOFS (PID2019-109137GB-C21)
and EU-H2020-RIP LOGISTAR (No. 769142).
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
11
References
0
Citations
NaN
KQI