共 50 条
- [41] On the lengths of tree-like and Dag-like cutting plane refutations of Horn constraint systemsHorn constraint systems and cutting plane refutations Annals of Mathematics and Artificial Intelligence, 2022, 90 : 979 - 998
- [49] Molecular Evolution and Expression Divergence of the Aconitase (ACO) Gene Family in Land Plants FRONTIERS IN PLANT SCIENCE, 2016, 7