Author:
Py Matthieu,Cherif Mohamed Sami,Habet Djamal
Publisher
Springer International Publishing
Reference32 articles.
1. Abramé, A., Habet, D.: Ahmaxsat: description and evaluation of a branch and bound max-SAT solver. J. Satisfiability Boolean Model. Comput. 9, 89–128 (2015)
2. Alexey Ignatiev, A.M., Marques-Silva, J.: RC2: an efficient maxsat solver. J. Satisfiability Boolean Model. Comput. 11(1), 53–64 (2019)
3. Andres, B., Kaufmann, B., Matheis, O., Schaub, T.: Unsatisfiability-based optimization in clasp. In: Technical Communications of The Twenty-eighth International Conference on Logic Programming (ICLP 2012) 17 (01 2012)
4. Bacchus, F., Järvisalo, M., Martins, R.: MaxSAT Evaluation (2020). https://maxsat-evaluations.github.io/2020/
5. Ben-sasson, E., Impagliazzo, R., Wigderson, A.: Near optimal separation of tree-like and general resolution. Combinatorica 24, 585–603 (2004)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Certified MaxSAT Preprocessing;Lecture Notes in Computer Science;2024
2. Lower Bounds of Functions on Finite Abelian Groups;Lecture Notes in Computer Science;2023-12-09
3. Certified Core-Guided MaxSAT Solving;Automated Deduction – CADE 29;2023
4. QMaxSATpb: A Certified MaxSAT Solver;Logic Programming and Nonmonotonic Reasoning;2022
5. Inference in MaxSAT and MinSAT;The Logic of Software. A Tasting Menu of Formal Methods;2022