Author:
Artigues Christian,Hebrard Emmanuel,Mayer-Eichberger Valentin,Siala Mohamed,Walsh Toby
Publisher
Springer International Publishing
Reference28 articles.
1. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Generic ILP versus specialized 0-1 ILP: An update. In: Proceedings of ICCAD, pp. 450–457 (2002)
2. Lecture Notes in Computer Science;F. Bacchus,2007
3. Berre, D.L., Parrain, A.: The Sat4j library, release 2.2. Journal on Satisfiability, Boolean Modeling and Computation 7, 59–64 (2010)
4. Biere., A., Heule., M., van Maaren., H., Walsh, T.: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press (2009)
5. Lecture Notes in Computer Science;S. Brand,2007
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献