Author:
Van Caudenberg Daimy,Bogaerts Bart
Publisher
Springer Nature Switzerland
Reference40 articles.
1. Aloul, F.A., Ramani, A., Markov, I.L., Sakallah, K.A.: Symmetry breaking for pseudo-boolean formulas. J. Expe. Algorithmics (JEA) 12, 1–14 (2008)
2. Aloul, F., Ramani, A., Markov, I., Sakallah, K.: Shatterpb: symmetry-breaking for pseudo-boolean formulas. In: ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No. 04EX753), pp. 884–887 (2004). https://doi.org/10.1109/ASPDAC.2004.1337720
3. Aloul, F.A., Sakallah, K.A., Markov, I.L.: Efficient symmetry breaking for Boolean satisfiability. IEEE Trans. Comput. 55(5), 549–558 (2006). https://doi.org/10.1109/TC.2006.75
4. Babai, L.: Graph isomorphism in quasipolynomial time. In: Proceedings of the Forty-Eighth Annual ACM Symposium on Theory of Computing, pp. 684–697 (2016)
5. Benhamou, B., Nabhani, T., Ostrowski, R., Saïdi, M.R.: Dynamic symmetry breaking in the satisfiability problem. In: Proceedings of the 16th International Conference on Logic for Programming, Artificial intelligence, and Reasoning. LPAR-16, Dakar, Senegal (2010)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献