✦ LIBER ✦

A strategy for ordering disjunctives in the resolution method

✍ Scribed by V. I. Sharonov

Publisher: Springer US
Year: 1988
Tongue: English
Weight: 367 KB
Volume: 41
Category: Article
ISSN: 1573-8795
DOI: 10.1007/bf01103264

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Application of the strategy of ordering

Application of the strategy of ordering disjunctives for a modification of the method of resolutions

✍ V. I. Sharonov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 255 KB

One modification of the ordering strateg

One modification of the ordering strategy in the resolution method

✍ N. K. Zamov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 434 KB

Strategy of defactorization in the resol

Strategy of defactorization in the resolution method

✍ V. I. Sharonov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 369 KB

Strategies for Efficient Particle Resolu

Strategies for Efficient Particle Resolution in the Direct Simulation Monte Carlo Method

✍ Keith C. Kannenberg; Iain D. Boyd 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 212 KB

The accuracy and computational cost of a direct simulation Monte Carlo simulation are directly related to the number of particles per cell. Optimal computational efficiency is achieved when the minimum number of particles needed for accurate resolution is used in each cell. Particle count is shown t

A strategy for multipoint ordering: Exam

A strategy for multipoint ordering: Example of the 11p markers

✍ DT Bishop; SL Sherman 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 352 KB 👁 1 views

The strategy wheel: A method for analysi

The strategy wheel: A method for analysis and benchmarking for competitive strategy

✍ Rado P. Kotorov 📂 Article 📅 2001 🏛 John Wiley and Sons ⚖ 226 KB