Author:
Marques-Silva Joao,Argelich Josep,Graça Ana,Lynce Inês
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference65 articles.
1. Achterberg, T., Koch, T., Martin, A.: MIPLIB 2003. Oper. Res. Lett. 34(4), 361–372 (2006). Benchmarks available from http://miplib.zib.de
2. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Generic ILP versus specialized 0-1 ILP: an update. In: International Conference on Computer-Aided Design, pp. 450–457 (2002)
3. Ansótegui, C., Bonet, M.L., Levy, J.: Solving (weighted) partial MaxSAT through satisfiability testing. In: International Conference on Theory and Applications of Satisfiability Testing, pp. 427–440 (2009)
4. Ansótegui, C., Bonet, M.L., Levy, J.: A new algorithm for weighted partial maxsat. In: AAAI Conference on Artificial Intelligence (2010)
5. Argelich, J., Li, C.M., Manyà, F.: An improved exact solver for partial Max-SAT. In: International Conference on Nonconvex Programming: Local and Global Approaches, pp. 230–231 (2007)
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Blameless and Optimal Control under Prioritized Safety Constraints;2024 American Control Conference (ACC);2024-07-10
2. A Tableau Calculus for Non-Clausal Regular MaxSAT;2024 IEEE 54th International Symposium on Multiple-Valued Logic (ISMVL);2024-05-28
3. A new cutting plane method for lexicographic multi-objective integer linear programming;Communications in Nonlinear Science and Numerical Simulation;2024-02
4. MaxSAT resolution for regular propositional logic;International Journal of Approximate Reasoning;2023-11
5. Linking Łukasiewicz Logic and Boolean Maximum Satisfiability;2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL);2023-05