To find the best combination of sentences, explicit solution techniques such as integer linear programming, branch and bound method, and so on are usually adopted.
there is a problem with them in terms of calculation efficiency.