title: The dead-end elimination theorem: mathematical aspects, implementation, optimizations, evaluation, and performance.
authors.affiliation: Center for Transgene Technology and Gene Therapy, Flanders Interuniversity Institute for Biotechnology, Leuven, Belgium.
authors.forename: M
authors.initials: M
authors.lastname: De Maeyer
authors.forename: J
authors.initials: J
authors.lastname: Desmet
authors.forename: I
authors.initials: I
authors.lastname: Lasters
mesh_terms: 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
chemical_list: D011506:Proteins