An Efficient Algorithm for Maximum Boolean Satisfiability Based on Unit Propagation, Linear Programming, and Dynamic Weighting
2004
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
23
References
2
Citations
NaN
KQI