Improved MaxSAT Algorithms for Instances of Degree 3
From MaRDI portal
Publication:3467831
DOI10.1007/978-3-319-26626-8_2zbMath1473.68116MaRDI QIDQ3467831
Chao Xu, Jianxin Wang, Jian'er Chen
Publication date: 5 February 2016
Published in: Combinatorial Optimization and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-26626-8_2
68W40: Analysis of algorithms
68W05: Nonnumerical algorithms
68R07: Computational aspects of satisfiability