✦ LIBER ✦

Extension and equivalence problems for clause minimal formulae

✍ Scribed by Hans Kleine Büning; Xishun Zhao

Book ID: 106342971
Publisher: Springer Netherlands
Year: 2004
Tongue: English
Weight: 131 KB
Volume: 43
Category: Article
ISSN: 1012-2443
DOI: 10.1007/s10472-005-0435-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extension and Equivalence Problems for C

Extension and Equivalence Problems for Clause Minimal Formulae

✍ Hans Kleine Büning; Xishun Zhao 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 120 KB

The Minimization Problem for Boolean For

The Minimization Problem for Boolean Formulas

✍ Hemaspaandra, Edith; Wechsung, Gerd 📂 Article 📅 2002 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 169 KB

Equivalence of minimal time and minimal

Equivalence of minimal time and minimal norm control problems for semilinear heat equations

✍ Yu, Huaiqiang 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 399 KB

CLOSED FORMULAE FOR THE GENERALIZED ℋ∞ S

CLOSED FORMULAE FOR THE GENERALIZED ℋ∞ SENSITIVITY MINIMIZATION PROBLEM

✍ Keith G. Woodgate 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 258 KB

The paper presents a complete solution for the multivariable, continuous-time Generalized H (GH ) sensitivity minimization problem. In contrast with existing solutions, derived via polynomial methods, the state-space solution given here is essentially non-iterative. Closed formulae for the minimum a

Equivalent Unconstrained Minimization an

Equivalent Unconstrained Minimization and Global Error Bounds for Variational Inequality Problems

✍ Yamashita, Nobuo; Fukushima, Masao 📂 Article 📅 1997 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 275 KB

Weighting factor extensions for finite m

Weighting factor extensions for finite multiple objective vector minimization problems

✍ D.J. White 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 667 KB