✦ LIBER ✦

A two-phase algorithm for solving a class of hard satisfiability problems

✍ Scribed by Joost P. Warners; Hans van Maaren

Book ID: 108410550
Publisher: Elsevier Science
Year: 1998
Tongue: English
Weight: 125 KB
Volume: 23
Category: Article
ISSN: 0167-6377
DOI: 10.1016/s0167-6377(98)00052-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A decomposition algorithm for solving a

A decomposition algorithm for solving a class of optimal control problems

✍ G Meyer; E Polak 📂 Article 📅 1970 🏛 Elsevier Science 🌐 English ⚖ 1021 KB

An algorithm for solving a class of disc

An algorithm for solving a class of discrete multicriterion problems

✍ M.G. Kreines; N.M. Novikova 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 667 KB

An algorithm for solving a structured cl

An algorithm for solving a structured class of linear programming problems

✍ S.Selcuk Erenguc 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 452 KB

B-differentiable Algorithm for Solving a

B-differentiable Algorithm for Solving a Class of Linear Complementarity Problems

✍ Shan Haiyan 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 244 KB

Comments on “a decomposition algorithm f

Comments on “a decomposition algorithm for solving a class of optimal control problems”

✍ Thomas Pecsvaradi 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 142 KB

A numerical algorithm for solving a clas

A numerical algorithm for solving a class of linear nonlocal boundary value problems

✍ Yingzhen Lin; Jinnan Lin 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 298 KB

algorithm a b s t r a c t In order to solve a class of linear nonlocal boundary value problems, a new reproducing kernel space satisfying nonlocal conditions is constructed carefully. This makes it easy to solve the problems. Furthermore, the exact solutions of the problems can be expressed in seri