Gypsum-DL: an open-source program for preparing small-molecule libraries for structure-based virtual screening PJ Ropp, JO Spiegel, JL Walker, H Green, GA Morales, KA Milliken, ... Journal of cheminformatics 11, 1-13, 2019 | 65 | 2019 |
DeepFrag: a deep convolutional neural network for fragment-based lead optimization H Green, DR Koes, JD Durrant Chemical Science 12 (23), 8036-8047, 2021 | 55 | 2021 |
DeepFrag: an open-source browser app for deep-learning lead optimization H Green, JD Durrant Journal of chemical information and modeling 61 (6), 2523-2529, 2021 | 22 | 2021 |
Graphfuzz: Library API fuzzing with lifetime-aware dataflow graphs H Green, T Avgerinos Proceedings of the 44th International Conference on Software Engineering …, 2022 | 16 | 2022 |
Effective auxiliary variables via structured reencoding A Haberlandt, H Green, MJH Heule arXiv preprint arXiv:2307.01904, 2023 | 4 | 2023 |
SBVA-CADICAL and SBVA-KISSAT: Structured Bounded Variable Addition A Haberlandt, H Green SAT COMPETITION 2023, 18, 0 | | |
Python Function Register Allocation Benchmarks A Haberlandt, H Green SAT COMPETITION 2023, 56, 0 | | |