Author:
Subramani K.,Wojciechowski Piotr
Publisher
Springer International Publishing
Reference21 articles.
1. Armstrong, R.D., Jin, Z.: A new strongly polynomial dual network simplex algorithm. Math. Program. 78(2), 131–148 (1997)
2. Bjørner, N., Gurfinkel, A., McMillan, K.L., Rybalchenko, A.: Horn clause solvers for program verification. In: Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday, pp. 24–51 (2015)
3. Chandrasekaran, R., Subramani, K.: A combinatorial algorithm for Horn programs. Discret. Optim. 10, 85–101 (2013)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);L de Moura,2004
5. Duterre, B., de Moura, L.: The YICES SMT solver. Technical report, SRI International (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献