Author:
Subramani K.,Wojciechowski Piotr
Publisher
Springer International Publishing
Reference20 articles.
1. Ausiello, G., D’Atri, A., Protasi, M.: Lattice theoretic ordering properties for NP-complete optimization problems. Fundam. Informaticae 4(1), 83–94 (1981)
2. Baumgartner, P.: Linear and unit-resulting refutations for horn theories. J. Autom. Reason. 16(3), 241–319 (1996)
3. Chandrasekaran, R., Subramani, K.: A combinatorial algorithm for Horn programs. Discrete Optim. 10, 85–101 (2013)
4. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238–252 (1977)
5. de Moura,L., Owre, S., Ruess, H., Rushby, J.M., Shankar, N.: The ICS decision procedures for embedded deduction. In: IJCAR, pp. 218–222 (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献