Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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