Author:
Aloul Fadi A.,Ramani Arathi,Markov Igor L.,Sakallah Karem A.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference16 articles.
1. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Solving difficult sat instances in the presence of symmetry. IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. (TCAD) 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: Proc. Intl. Conf. on Computer-Aided Design (ICCAD), pp. 450–457
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: Proc. Asia-South Pacific Design Automation Conf., pp. 884–887 (2004)
5. Chai, D., Kuehlmann, A.: A fast pseudo-Boolean constraint solver. In: Proc. Design Automation Conf., pp. 830–835 (2003)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Proof Complexity of QBF Symmetry Recomputation;Lecture Notes in Computer Science;2019
2. Symmetric Explanation Learning: Effective Dynamic Symmetry Handling for SAT;Theory and Applications of Satisfiability Testing – SAT 2017;2017
3. Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT;2012 IEEE 24th International Conference on Tools with Artificial Intelligence;2012-11