The dead-end elimination theorem: mathematical aspects, implementation, optimizations, evaluation, and performance.
De Maeyer
M
M
Center for Transgene Technology and Gene Therapy, Flanders Interuniversity Institute for Biotechnology, Leuven, Belgium.
Desmet
J
J
Lasters
I
I
D000465:Algorithms; D003198:Computer Simulation; D008433:Mathematics; D008958:Models, Molecular; D011487:Protein Conformation; D017434:Protein Structure, Tertiary; D011506:Proteins / Q000737:chemistry*; D020539:Sequence Analysis, Protein; D012984:Software; D013816:Thermodynamics
D011506:Proteins