M Bofill, F Manyà, A Vidal, M Villaret. New complexity results for łukasiewicz logic. Soft Computing, 2019, 23(7): 2187–2197 https://doi.org/10.1007/s00500-018-3365-9
2
Y Chu, C Luo, S Cai, H You. Empirical investigation of stochastic local search for maximum satisfiability. Frontiers of Computer Science, 2019, 13(1): 86–98 https://doi.org/10.1007/s11704-018-7107-z
3
M El Halaby. Solving maxsat by successive calls to a sat solver. In: Proceedings of SAI Intelligent Systems Conference. 2016, 428–452 https://doi.org/10.1007/978-3-319-56994-9_31
4
E Demirović, N Musliu, F Winter. Modeling and solving staff scheduling with partial weighted maxsat. Annals of Operations Research, 2019, 275(1): 79–99 https://doi.org/10.1007/s10479-017-2693-y
5
A Nadel. Solving maxsat with bit-vector optimization. In: Proceedings of International Conference on Theory and Applications of Satisfiability Testing. 2018, 54–72 https://doi.org/10.1007/978-3-319-94144-8_4
6
L De Moura, N Bjørner. Z3: an efficient smt solver. In: Proceedings of International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2008. 337–340 https://doi.org/10.1007/978-3-540-78800-3_24
7
M El Halaby, A Abdalla. Fuzzy maximum satisfiability. In: Proceedings of the 10th International Conference on Informatics and Systems. 2016, 50–55 https://doi.org/10.1145/2908446.2908476
