Author:
Zhou Neng-Fa,Kjellerstrand Håkan
Publisher
Springer International Publishing
Reference38 articles.
1. Abío, I., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E., Mayer-Eichberger, V.: A new look at BDDs for Pseudo-Boolean constraints. J. Artif. Intell. Res. (JAIR) 45, 443–480 (2012)
2. Lecture Notes in Computer Science;I Abío,2014
3. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: Principles. Techniques. Addison-Wesley, Tools Boston (2007)
4. Lecture Notes in Computer Science;I Araya,2008
5. Lecture Notes in Computer Science;O Bailleux,2009
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献