Guangyuan Liu

Latest

• Optimizing local search-based partial MaxSAT solving via initial assignment prediction