- Lattice simulations of aggregation funnels for protein foldingS Istrail
Department of Algorithms and Discrete Mathematics, Sandia National Laboratories, Albuquerque, New Mexico 87185, USA
J Comput Biol 6:143-62. 1999....
- Robust proofs of NP-hardness for protein folding: general lattices and energy potentialsW E Hart
Sandia National Laboratories, Algorithms and Discrete Mathematics Department, Albuquerque, New Mexico 87185 1110, USA
J Comput Biol 4:1-22. 1997..These are the first robust intractability results that identify sources of computational complexity of protein-structure prediction that transcend particular problem formulations...