Development and application of a free energy force field for all atom protein folding

von Verma, Abhinav
Veröffentlicht 2007

Strong NP-hardness of AC power flows feasibility

von Bienstock, Daniel
Veröffentlicht in Operations research letters (2019)

NEUROSYMBOLIC REINFORCEMENT LEARNING WITH FORMALLY VERIFIED EXPLORATION

von Anderson, Greg
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 8 of 27 (2021)

LEARNING DIFFERENTIABLE PROGRAMS WITH ADMISSIBLE NEURAL HEURISTICS

von Shah, Ameesh
Veröffentlicht in NeurIPS (34. : 2020 : Online) 34th Conference on Neural Information Processing Systems (NeurIPS 2020) ; Volume 7 of 27 (2021)