Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics
Reference21 articles.
1. Konev, B., Lisitsa, A.: A SAT attack on the Erdős discrepancy conjecture. In: Sinz, C., Egly, U. (eds.) Theory and Applications of Satisfiability Testing-SAT 2014. Lecture Notes in Computer Science Series, vol. 8561, pp. 219–226. Springer, Berlin (2014)
2. Heule, M.J.H., Kullmann, O., Marek, V.W.: Solving and verifying the Boolean Pythagorean Triples problem via Cube-and-Conquer. In: Proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, pp. 228–245. Springer (2016)
3. Crawford, J., Ginsberg, M., Luks, E., Roy, A.: Symmetry-breaking predicates for search problems. In: Proceedings of 5th International Conference on Knowledge Representation and Reasoning (KR96). Morgan Kaufmann, pp. 148–159 (1996)
4. Graham, R.L., Rothschild, B.L., Spencer, J.H.: Ramsey Theory. A Wiley-Interscience Publication Series. Wiley, Hoboken (1990)
5. Dransfield, M.R., Liu, L., Marek, V.W., Truszczynski, M.: Satisfiability and computing van der Waerden numbers Electron. J. Comb. 11(1) (2004)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献