Author:
Berg Jeremias,Demirović Emir,Stuckey Peter J.
Publisher
Springer International Publishing
Reference51 articles.
1. Abramé, A., Habet, D.: AHMAXSAT: description and evaluation of a branch and bound MaxSAT solver. J. Satisf. Boolean Model. Comput. 9, 89–128 (2015)
2. Abramé, A., Habet, D.: Learning nobetter clauses in MaxSAT branch and bound solvers. In: Proceedings of the 28th International Conference on Tools with Artificial Intelligence, pp. 452–459. IEEE Computer Society (2016)
3. Achá, R.J.A., Nieuwenhuis, R.: Curriculum-based course timetabling with SAT and MaxSAT. Ann. Oper. Res. 218(1), 71–91 (2014)
4. Alviano, M., Dodaro, C., Ricca, F.: A MaxSAT algorithm using cardinality constraints of bounded size. In: Proceedings of IJCAI, pp. 2677–2683. AAAI Press (2015)
5. Lecture Notes in Computer Science;C Ansótegui,2009
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献