Follow
Harrison Green
Harrison Green
Verified email at andrew.cmu.edu
Title
Cited by
Cited by
Year
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
652019
DeepFrag: a deep convolutional neural network for fragment-based lead optimization
H Green, DR Koes, JD Durrant
Chemical Science 12 (23), 8036-8047, 2021
552021
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
222021
Graphfuzz: Library API fuzzing with lifetime-aware dataflow graphs
H Green, T Avgerinos
Proceedings of the 44th International Conference on Software Engineering …, 2022
162022
Effective auxiliary variables via structured reencoding
A Haberlandt, H Green, MJH Heule
arXiv preprint arXiv:2307.01904, 2023
42023
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
The system can't perform the operation now. Try again later.
Articles 1–7