Searching for "A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

A new constraint solver for 3d lattices and its application to the protein folding problem
by Ro Dal Palù, Agostino Dovier, Enrico Pontelli — 2005 — In Geoff Sutcliffe and Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego
…A New Constraint Solver for 3D Lattices and its Application to the Protein Folding Problem…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB