Author:
Manyà Felip,Negrete Santiago,Roig Carme,Soler Joan Ramon
Publisher
Springer International Publishing
Reference22 articles.
1. Abío, I., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E.: A parametric approach for smaller and better encodings of cardinality constraints. In: Proceedings of the 19th International Conference on Principles and Practice of Constraint Programming, CP, Uppsala, Sweden, pp. 80–96 (2013)
2. Abramé, A., Habet, D.: On the resiliency of unit propagation to max-resolution. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence, IJCAI-2015, Buenos Aires, Argentina, pp. 268–274 (2015)
3. Alberola, J.M., del Val, E., Sánchez-Anguix, V., Palomares, A., Teruel, M.D.: An artificial intelligence tool for heterogeneous team formation in the classroom. Knowl. Based Syst. 101, 1–14 (2016)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);JM Alberola,2013
5. Alsinet, T., Manyà, F., Planes, J.: An efficient solver for weighted Max-SAT. J. Glob. Optim. 41, 61–73 (2008)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linking Łukasiewicz Logic and Boolean Maximum Satisfiability;2023 IEEE 53rd International Symposium on Multiple-Valued Logic (ISMVL);2023-05
2. Clausal Forms in MaxSAT and MinSAT;International Journal of Computational Intelligence Systems;2022-11-11
3. Self-organization in online collaborative work settings;Collective Intelligence;2022-08
4. Inference in MaxSAT and MinSAT;The Logic of Software. A Tasting Menu of Formal Methods;2022
5. Chapter 24. Maximum Satisfiabiliy;Frontiers in Artificial Intelligence and Applications;2021-02-02