01 September 2021 2 5K Report

Is there any research paper to compare MIP Solver with SAT solver in terms of

  • Solving technology
  • Performance
  • Problem characters

Thanks.

More Youzhi Cui's questions See All
Similar questions and discussions