An improved branching algorithm for \((n,3)\)-MaxSAT based on refined observations

DOI10.1007/978-3-319-71147-8_7zbMath1474.68329MaRDI QIDQ1708599

Yongjie Yang, Chao Xu, Jianxin Wang, Wenjun Li

Publication date: 26 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-71147-8_7

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68W40: Analysis of algorithms

90C27: Combinatorial optimization

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)