Author:
Motter DoRon B.,Roy Jarrod A.,Markov Igor L.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference28 articles.
1. F. Aloul, I. Markov and K. Sakallah, Faster SAT and smaller BDDs via common function structure, in: Proc. Intl. Conf. Computer-Aided Design (2001).
2. F. Aloul, M. Mneimneh and K. Sakallah, Backtrack search using ZBDDs, in: Intl. Workshop on Logic and Synthesis (IWLS) (2001).
3. F. Aloul, A. Ramani, I. Markov and K. Sakallah, Solving difficult instances of Boolean satisfiability in the presence of symmetry, IEEE Trans. on CAD 22(9) (2003) 1117?1137.
4. P. Beame, H. Kautz and A. Sabharwal, Understanding the power of clause learning, in: Proc. of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003) (Morgan Kaufman, 2003).
5. P. Bjesse, G. Andersson, B. Cook and Z. Hanna, A proof engine approach to solving combinational design automation problems, in: Proc. IEEE/ACM Design Automation Conference (2002).
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献