𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Industrial linear optimization problems solved by constraint logic programming

✍ Scribed by R. Bisdorff; S. Laurent


Publisher
Elsevier Science
Year
1995
Tongue
English
Weight
1007 KB
Volume
84
Category
Article
ISSN
0377-2217

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Solving problems by formula manipulation
✍ Louis Hodes πŸ“‚ Article πŸ“… 1972 πŸ› Elsevier Science 🌐 English βš– 650 KB

Using formal logic, many iproblems from the general area of linear inequalities co~ be expressed in the elementary theory of addition on the real numbers (EAR). We describe a method for eliminatit~ quantiflers in EAR which has been programmed arm demonstrate its usefulness in solving some problems r