𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The relative complexity of resolution and cut-free Gentzen systems

✍ Scribed by Alasdair Urquhart

Publisher
Springer Netherlands
Year
1992
Tongue
English
Weight
726 KB
Volume
6
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Relative efficiency of propositional pro
Relative efficiency of propositional proof systems: resolution vs. cut-free LK
✍ Noriko H. Arai πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 106 KB

Resolution and cut-free LK are the most popular propositional systems used for logical automated reasoning. The question whether or not resolution and cut-free LK have the same e ciency on the system of CNF formulas has been asked and studied since 1960 (Reckhow, Ph.D. Thesis, University of Toronto,

The free energies for mutating S27 and W
The free energies for mutating S27 and W79 to alanine in streptavidin and its biotin complex: The relative size of polar and nonpolar free energies on biotin binding
✍ Richard W. Dixon; Peter Kollman πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 30 KB πŸ‘ 3 views

We have carried out calculations on the relative free energy of binding of biotin and its S27A and W79A mutants to streptavidin. Consistent with earlier suggestions by Miyamoto and Kollman from free energy component analysis and recent experiments by Stayton and coworkers, the reduction in binding s