共 50 条
- [1] Prediction of metabolite-protein interactions based on integration of machine learning and constraint-based modeling BIOINFORMATICS ADVANCES, 2023, 3 (01):
- [5] Constraint-Based Synthesis of Coupling Proofs COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 327 - 346