Author:
Lynce Inês,Manquinho Vasco,Martins Ruben
Publisher
Springer International Publishing
Reference83 articles.
1. Achá, R.J.A., Nieuwenhuis, R.: Curriculum-based course timetabling with SAT and MaxSAT. Annals of Operations Research 218(1), 71–91 (2014)
2. An, X., Zhang, T., Fujita, H., Hasegawa, R.: QMaxSAT: A Partial Max-SAT Solver. Journal on Satisfiability, Boolean Modeling and Computation 8, 95–100 (2012)
3. Ansótegui, C., Bonet, M.L., Gabàs, J., Levy, J.: Improving WPM2 for (Weighted) Partial MaxSAT. In: Proc. International Conference on Principles and Practice of Constraint Programming, pp. 117–132. Springer (2013)
4. Ansótegui, C., Bonet, M.L., Levy, J.: On Solving MaxSAT Through SAT. In: Proc. International Conference of the Catalan Association for Artificial Intelligence, pp. 284–292. IOS Press (2009)
5. Ansótegui, C., Bonet, M.L., Levy, J.: Solving (Weighted) Partial MaxSAT through Satisfiability Testing. In: Proc. International Conference on Theory and Applications of Satisfiability Testing, pp. 427–440. Springer (2009)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. AlloyMax: bringing maximum satisfaction to relational specifications;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
2. A resolution calculus for MinSAT;Logic Journal of the IGPL;2019-10-23
3. Clause tableaux for maximum and minimum satisfiability;Logic Journal of the IGPL;2019-08-27