Author:
Paxian Tobias,Raiola Pascal,Becker Bernd
Publisher
Springer International Publishing
Reference36 articles.
1. MaxSAT evaluation (2006–2020). https://maxsat-evaluations.github.io
2. Abramé, A., Habet, D.: Local max-resolution in branch and bound solvers for Max-SAT. In: 2014 IEEE 26th International Conference on Tools with Artificial Intelligence, pp. 336–343. IEEE (2014)
3. Alviano, M., Dodaro, C., Ricca, F.: A MaxSAT algorithm using cardinality constraints of bounded size. In: Twenty-Fourth International Joint Conference on Artificial Intelligence (2015)
4. Lecture Notes in Computer Science;C Ansótegui,2012
5. Lecture Notes in Computer Science;C Ansótegui,2013
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献