Keywords
- Characteristic Function
- Characteristic Equation
- Boolean Function
- Pairwise Disjoint
- Logical Condition
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
G. BIRKHOFF: Lattice Theory. Amer. Math. Soc. Coll. Publ. New York 1948 (reprint 1961).
M. CARVALLO: Principes et applications de l'analyse booléenne. Gauthier-Villars, Paris 1965.
G.B. DANTZIG: Linear Programming and Extensions, Ch.26. Princeton Univ. Press, Princeton, 1963.
R. FORTET: L'algèbre de Boole et ses applications en recherche opérationnelle. Cahiers Centre Etudes Rech. Opér., 1, No. 4, 5–36 (1959).
Ju.I. GRIGORIAN: Algorithm for the Solution of Logical Equations (in Russian). Jurn. vycislit. mat. i mat. fiziki, 2, 186–189 (1962).
M. ITOH: On Boolean Equations with Many Unknowns and the Generalized Poretsky's Formula. Rev. Univ. Nac. Tucumán, 12, 107–112 (1959).
P.L. IVANESCU: Systems of Pseudo-Boolean Equations and Inequalities. Bull. Acad. Polon. Sci. Ser. Math. Astronom. Phys., 12, 673–680 (1964).
P.L. IVANESCU: The Method of Succesive Eliminations for Pseudo-Boolean Equations. Bull. Acad. Polon. Ser. Sci. Math. Astronom. Phys., 12, 681–683 (1964).
P.L. IVANESCU and S. RUDEANU: The Theory of Pseudo-Boolean Programming. I. Linear Pseudo-Boolean Equations and Inequalities. SIAM Journal (in press).
J. KLÍR: Solutions of System of Boolean Equations (in Czech.), Apl. Mat. 7, 265–273 (1962).
R.S. LEDLEY: Digital Computers and Control Engineering. Mc. Graw Hill, New York, 1960.
L. LÖWENHEIM: Über Auflösungsproblem im logischen Klassenkalkul. Sitzungsber. Berl. Math. Geselschaft, 7, 89–94 (1908).
K.K. MAITRA: A Map Approach to the Solution of a Class of Boolean Functional Equations. Communic. Electr. No. 59, 34–36 (1962).
M. NADLER and B. ELSPAS: The Solution of Simultaneous Boolean Equations. IRE Trans. Communication Theory 7, No. 3 (1960).
L. NÉMETI: Das Reihenfolgsproblem in der Fertigungsprogrammierung und Linearplanung mit logischen Bedingungen. Mathematica (Cluj), 6(29), 87–99, (1964).
L. NÉMETI, F. RADÓ: Ein Wartezeitproblem in der Programmierung der Produktion. Mathematika (Cluj), 5(28), 65–95 (1963).
J. POSTLEY: A Method for the Evaluation of a System of Boolean Algebraic Equations. Math. Tables and Other Aids to Computations, 9, 5–8 (1955).
F. RADÓ: Linear Programming with Logical Conditions (in Romanian). Comunicârile Acad. RPR, 13, 1039–1042 (1963).
F. RADÓ: Un algorithme pour résoudre certains problèmes de programmation mathématiques. Mathematica (Cluj), 6(29), 105–116 (1964).
N. ROUCHE: Some Properties of Boolean Equations. IRE Trans. Electronic Computers, 7, 291–298 (1958).
S. RUDEANU: On the Solution of Boolean Equations by the Löwenheim Method (in Romanian). Stud. Cerc. Mat., 13, 295–308 (1962).
S. RUDEANU: Remarks on Motinori Goto's Papers on Boolean Equations. Rev. Roumaine Math. Pures Appl., 10, 311–317 (1965).
S. RUDEANU: Irredundant Solutions of Boolean and Pseudo-Boolean Equations. Rev. Roumaine Math. Pures Appl. (in press).
E.L. SCHUBERT: Simultaneous Logical Equations. Comm. and Electronics, No. 46, 1080–1083 (1960).
W. SEMON: A Class of Boolean Equations. Sperry Rand. Research Corp., SRCC-RR-62-17, August 1962.
A. SVOBODA and K. ČULIK: An Algorithm for Solving Boolean Equations (in Russian). Avtomat. i Telemeh. 25, 374–381, (1964).
A. ŽELEZNIKAR: Behandlung logistischer Probleme mit Ziffernrechner. Glasnik Mat.-Fiz.-Astronom, 17, 171–179 (1962).
H. ZEMANEK: Die Lösung von Gleichungen in der Schaltalgebra. Arch. Elektr. Ubertragung, 12, 35–44 (1958).
Rights and permissions
Copyright information
© 1966 Springer-Verlag
About this chapter
Cite this chapter
Ivănescu, P.L., Rudeanu, S. (1966). Nonlinear pseudo-boolean equations and inequalities. In: Pseudo-Boolean Methods for Bivalent Programming. Lecture Notes in Mathematics, vol 23. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0077206
Download citation
DOI: https://doi.org/10.1007/BFb0077206
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-03606-7
Online ISBN: 978-3-540-34835-1
eBook Packages: Springer Book Archive
