✦ LIBER ✦

Branch-and-cut solution of inference problems in propositional logic

✍ Scribed by J. N. Hooker; C. Fedjki

Publisher: Springer Netherlands
Year: 1990
Tongue: English
Weight: 937 KB
Volume: 1
Category: Article
ISSN: 1012-2443
DOI: 10.1007/bf01531074

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Exact solution of cutting stock problems

Exact solution of cutting stock problems using column generation and branch-and-Bound

✍ J.M.Valério de Carvalho 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB

This paper describes an attempt to solve the one-dimensional cutting stock problem exactly, using column generation and branch-and-bound. A new formulation is introduced for the one-dimensional cutting stock problem that uses general integer variables, not restricted to be binary. It is an arc ¯ow f

ChemInform Abstract: Preparation and Mag

ChemInform Abstract: Preparation and Magnetic Properties of Solid Solutions at the Branch Cut CuInTe2—Cr2Te3 in Cu—In—Cr—Te Systems.

✍ T. I. Koneshova; A. Yu. Vol'fkovich; A. V. Filatov; A. A. Kapichnikov; V. M. Nov 📂 Article 📅 2010 🏛 John Wiley and Sons ⚖ 29 KB 👁 2 views

The use of duality to determine the bran

The use of duality to determine the branching order of variables and to estimate the bounds in the solution of the knapsack problem

✍ A.O. Alekseyev; O.G. Alekseyev; V.D. Kiselev 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 123 KB

131 The application of expert systems an

131 The application of expert systems and fuzzy logic to electric power systems in Japan — Experience, problems and solutions: M. Kato, pp 481–484

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 115 KB

The splitting of separatrices, the branc

The splitting of separatrices, the branching of solutions and non-integrability in the problem of the motion of a spherical pendulum with an oscillating suspension point

✍ S.A. Dovbysh 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 296 KB

The effectiveness of the results obtained previously in [Dovbysh SA. Transversal intersection of separatrices and non-existence of an analytical integral in multidimensional systems.