Author:
Kimura Kei,Makino Kazuhisa
Funder
Japan Science and Technology Agency
Japan Society for the Promotion of Science
Subject
Applied Mathematics,Discrete Mathematics and Combinatorics
Reference33 articles.
1. R. Bagnara, P.M. Hill, E. Zaffanella, An improved tight closure algorithm for integer octagonal constraints, in: Proceedings of the 9th International Conference on Verification, Model Checking and Abstract Interpretation, 2008, pp. 8–21.
2. Efficient algorithms for integer programs with two variables per constraint;Bar-Yehuda;Algorithmica,2001
3. On a routing problem;Bellman;Q. Appl. Math.,1958
4. Polynomial-time inference of all valid implications for Horn and related formulae;Boros;Ann. Math. Artif. Intell.,1990
5. A complexity index for satisfiability problems;Boros;SIAM J. Comput.,1994
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献