Publisher
Springer Science and Business Media LLC
Subject
Discrete Mathematics and Combinatorics,Statistics and Probability,Management Science and Operations Research,Information Systems and Management,Modelling and Simulation
Reference6 articles.
1. Abío I, Nieuwenhuis R, Oliveras A., Rodríguez-Carbonell E (2013) A parametric approach for smaller and better encodings of cardinality constraints. In: Principles and practice of constraint programming. Springer, Berlin, pp 80–96
2. Ansótegui C, Bonet ML, Levy J (2009) Solving (weighted) partial MaxSAT through satisfiability testing. In: Theory and applications of satisfiability testing-SAT 2009. Springer, Berlin, pp 427–440
3. Biere A (2014) Yet another local search solver and lingeling and friends entering the sat competition 2014. In: Proceedings of SAT competition 2014: solver and benchmark descriptions, vol B-2014-2, p 39
4. Biere A, Heule M, van Maaren H, Walsh T (2009) Handbook of satisfiability, vol 185. IOS Press, Amsterdam
5. Haken A (1985) The intractability of resolution. Theor Comput Sci 39:297–308
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献