Searching for "Model Building by Resolution." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Automated Main-Chain Model Building By Template Matching and Iterative Fragment Extension
- … of model building at resolutions as low as 3.5 A Ê . The algorithm is useful for building a preliminary…
- Cited by 8 (0 self) – Add To MetaCart
-
TILT: An Integrative Approach to Automated Model Building
- … resolution-based. The rather young field of Automated Model Building promises a high potential…
- Add To MetaCart
-
Decision Procedures and Model Building in Equational Clause Logic
- … representations of this type. 1 Keywords: model building, resolution, paramodulation, decision procedures 1…
- Cited by 15 (2 self) – Add To MetaCart
-
Decision Procedures and Model
- … representations of this type. 1 Keywords: model building, resolution, paramodulation, decision procedures 1…
- Add To MetaCart
Showing 1 through 4.
