✦ LIBER ✦

The inequality-satisfiability problem

✍ Scribed by Dorit S. Hochbaum; Erick Moreno-Centeno

Publisher: Elsevier Science
Year: 2008
Tongue: English
Weight: 275 KB
Volume: 36
Category: Article
ISSN: 0167-6377
DOI: 10.1016/j.orl.2007.05.005

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Solving the incremental satisfiability p

Solving the incremental satisfiability problem

✍ J.N. Hooker 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 677 KB

Onk-positive satisfiability problem

✍ Xiong Huang; Wei Li 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 336 KB

Inequalities Satisfied by the Airy Funct

Inequalities Satisfied by the Airy Functions

✍ Mohammad Salmassi 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 687 KB

A dual algorithm for the satisfiability

A dual algorithm for the satisfiability problem

✍ Yoshihiro Tanaka 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 647 KB

The satisfiability problem in regular CN

The satisfiability problem in regular CNF-formulas

✍ F. Manyà; R. Béjar; G. Escalada-Imaz 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 319 KB

Matrices and spectra satisfying the Newt

Matrices and spectra satisfying the Newton inequalities

✍ C.R. Johnson; C. Marijuán; M. Pisonero 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 190 KB

An n-by-n real matrix is called a Newton matrix (and its eigenvalues a Newton spectrum) if the normalized coefficients of its characteristic polynomial satisfy the Newton inequalities. A number of basic observations are made about Newton matrices, including closure under inversion, and then it is sh