Author:
Bobot François,Conchon Sylvain,Contejean Evelyne,Iguernelala Mohamed,Mahboubi Assia,Mebsout Alain,Melquiond Guillaume
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Achterberg, T., Koch, T., Martin, A.: MIPLIB 2003. Operations Research Letters 34(4), 361–372 (2006)
2. Banerjee, U.: Dependence Analysis for Supercomputing. Kluwer Academic Publishers, Norwell (1988)
3. Lecture Notes in Artificial Intelligence;C. Barrett,2006
4. Bobot, F., Conchon, S., Contejean, E., Iguernelala, M., Lescuyer, S., Mebsout, A.: The Alt-Ergo Automated Theorem Prover, http://alt-ergo.lri.fr
5. de Moura, L., Bjørner, N.: Z3, an efficient SMT solver, http://research.microsoft.com/projects/z3
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献