Author:
Darga Paul T.,Liffiton Mark H.,Sakallah Karem A.,Markov Igor L.
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Classical symmetries and the Quantum Approximate Optimization Algorithm;Quantum Information Processing;2021-10-26
2. Presolve Reductions in Mixed Integer Programming;INFORMS Journal on Computing;2020-04
3. Symmetry Avoidance in MACE-Style Finite Model Finding;Frontiers of Combining Systems;2019
4. Generating symmetric graphs;Chaos: An Interdisciplinary Journal of Nonlinear Science;2018-12
5. An Adaptive Prefix-Assignment Technique for Symmetry Reduction;Theory and Applications of Satisfiability Testing – SAT 2017;2017