Author:
Ramani Arathi,Markov Igor L.
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Solving Difficult SAT Instances In The Presence of Symmetry. IEEE Transactions on CAD 22(9), 1117–1137 (2003)
2. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Generic ILP versus Specialized 0-1 ILP: An Update. In: Proceedings of the International Conference on Computer-Aided Design, pp. 450–457 (2002)
3. Aloul, F.A., Markov, I.L., Sakallah, K.A.: Shatter: Efficient Symmetry-Breaking for Boolean Satisfiability. In: Proc. Intl. Joint Conf. on AI, pp. 271–282 (2003)
4. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Symmetry-Breaking for Pseudo- Boolean Formulas. In: Proceedings of the Asia-South Pacific Design Automation Conference, pp. 884–887 (2004)
5. Lecture Notes in Computer Science;O. Bailleux,2003
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献