Skip to main content
SpringerLink
Log in
Book cover

Pseudo-Boolean Methods for Bivalent Programming pp 7–56Cite as

Linear pseudo-boolean equations and inequalities

  • Chapter
  • First Online:

  • 282 Accesses

Part of the book series: Lecture Notes in Mathematics ((LNM,volume 23))

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   29.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   39.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. E. BALAS: An Additive Algorithm for Solving Linear Programs with Zero-One Variables. Operations Research, 13, 517–546 (1965).

    Article  MathSciNet  MATH  Google Scholar 

  2. R. BELLMAN: Combinatorial Processes and Dynamic Programming. Combinatorial Analysis, Proceedings of Symposia in Applied Mathematics, Vol. X, 1960, pp. 217–250.

    Article  MathSciNet  MATH  Google Scholar 

  3. P.BERTIER-PH.T.NGHIEM: Résolution de problèmes en variables bivalents (Algorithme de Balas et procèdure SEP). SEMA, Note de travail No. 33, Janvier 1965.

    Google Scholar 

  4. P.BERTIER-PH.T.NGHIEM, B.ROY: Procédure SEP. Trois exemples numériques. SEMA, Note de travail No. 32, Janvier 1965.

    Google Scholar 

  5. P.BERTIER-B.ROY: Une procédure de résolution pour une classe de problèmes pouvant avoir un caractère combinatoire. SEMA, Note de travail No. 30 bis, Décembre 1964.

    Google Scholar 

  6. P. CAMION: Quelques propriétés des chemins et circuits hamiltoniens dans la théorie des graphes. Cahiers du Centre d'Etudes de Recherche Opérationnelle, Bruxelles, vol. 2, No. 1, 5–36, 1960.

    MathSciNet  MATH  Google Scholar 

  7. P. CAMION: Une méthode de résolution par l'algèbre de Boole des problèmes combinatoires où interviennent des entiers. Cahiers du Centre d'Etudes de Recherche Opérationnelle, 2, 234–289, 1960.

    MathSciNet  MATH  Google Scholar 

  8. M. CARVALLO: Monographie des treillis et algèbre de Boole. Paris, Gauthier-Villars, 1962.

    MATH  Google Scholar 

  9. M. CARVALLO: Principes et applications de l'analyse boolénne. Paris, Gauthier-Villars, 1965.

    Google Scholar 

  10. G.B. DANTZIG: Discrete Variable Extremum Problems. Operations Research, 5, No. 2, 266–277 (1957).

    Article  MathSciNet  Google Scholar 

  11. G.B. DANTZIG: On the Significance of Solving Linear Programming Problems with Some Integer Variables. Econometrica, 28, No. 1, 30–44 (1960).

    Article  MathSciNet  MATH  Google Scholar 

  12. G.B. DANTZIG: Linear Programming and Extensions. Ch. 26. Princeton Univ. Press, Princeton, 1963.

    Book  MATH  Google Scholar 

  13. M. DENIS-PAPIN—R. FAURE—A. KAUFMANN: Cours de calcul booléien. Editions Albin-Michel, Paris 1963.

    MATH  Google Scholar 

  14. R.FAURE—Y.MALGRANGE: Nouvelles recherches sur la résolution des programmes linéaires en nombres entiers. Gestion, No. spécial, Juin 1965, pp. 371–375.

    Google Scholar 

  15. R. FORTET: L'algèbre de Boole et ses applications en recherche opérationnelle. Cahiers du Centre d'Etudes de Recherche Opérationnelle, Bruxelles, vol. 1, n. 4, 5–36, 1959.

    MathSciNet  MATH  Google Scholar 

  16. R. FORTET: Application de l'algèbre de Boole en recherche opérationnelle. Revue Française de Recherche Opération-nelle, Paris, vol. 4, no. 14, 17–26, 1960.

    MATH  Google Scholar 

  17. R. FORTET: Résolution booléenne d'opérations arithmétiques sur les entiers non négatifs et application aux programmes linéaires en nombres entiers, SEMA, Paris, Mars 1960.

    Google Scholar 

  18. R.E. GOMORY: Essentials of an Algorithm for Integer Solutions to Linear Programs. Bull. Amer. Math. Soc., 64, No. 5, 275–278 (1958).

    Article  MathSciNet  MATH  Google Scholar 

  19. R.E.GOMORY: An Algorithm for Integer Solutions to Linear Programs. Princeton-IBM Math. Research Project, Techn. Report No. 1, November 17, 1958. Republished in Recent Advances in Mathematical Programming, edited by R.L. Graves and Ph.Wolfe, McGraw Hill, New York, 1963.

    Google Scholar 

  20. P.L. IVANESCU: Systems of Pseudo-Boolean Equations and Inequalities. Bulletin de l'Académie Polonaise des Sciences, 12, n. 11, 673–680 (1964).

    MathSciNet  MATH  Google Scholar 

  21. P.L. IVANESCU: The Method of Successive Eliminations for Pseudo-Boolean Equations. Bulletin de l'Académie Polonaise des Sciences, 12, n. 11, 681–683 (1964).

    MathSciNet  MATH  Google Scholar 

  22. P.L. IVANESCU: Pseudo-Boolean Programming and Applications (Abstract of Doctor's Thesis), Lecture Notes in Mathematics, No. 9, 1965, Springer Verlag, Berlin-Heidelberg-New York.

    Book  MATH  Google Scholar 

  23. P.L. IVANESCU: Pseudo-Boolean Programming with Special Restraints. Applications to Graph Theory. Elektronische Informationsverarbeitung und Kybernetik (E.I.K.), 1, No. 3, 167–185 (1965).

    MathSciNet  MATH  Google Scholar 

  24. P.L.IVANESCU: Dynamic Programming with Bivalent Variables. Lecture at the Symposium on Applications of Mathematics to Economics, Smolenice (Czechoslovakia), June 1965. To appear in Publ. Inst. Math. Belgrade.

    Google Scholar 

  25. P.L. IVANESCU, I. ROSENBERG, S. RUDEANU: On the Determination of the Minima of Pseudo-Boolean Functions (in Romanian). Studii şi Cercetąri Matematice, 14, No. 3, 359–364 (1963).

    MathSciNet  MATH  Google Scholar 

  26. P.L. IVANESCU, I. ROSENBERG, S. RUDEANU: An Application of Discrete Linear Programming to the Minimization of Boolean Functions (in Russian). Revue Math. Pures et Appl., 8, No. 3, 459–475 (1963).

    MathSciNet  Google Scholar 

  27. A. KAUFMANN: Méthodes et modèles de la recherche opération-nelle. Tome 2, Dunod, Paris, 1964.

    Google Scholar 

  28. A. KAUFMANN—Y. MALGRANGE: Recherche des chemins et circuits hamiltoniens d'un graphe. Revue Française de Recherche Opérationnelle, 7, 61–73 (1963).

    Google Scholar 

  29. K. MAGHOUT: Applications de l'algèbre de Boole à la théorie des graphes et aux programmes linéaires et quadratiques. Cahiers du Centre d'Etudes de Recherche Opérationnelle, Bruxelles, vol. 5, n. 1–2, 21–99 (1963).

    MathSciNet  MATH  Google Scholar 

  30. B.ROY: Cheminement et connexité dans les graphes. Application aux problèmes d'ordonnancement. METRA, Série Spéciale, n.1, 1962.

    Google Scholar 

  31. B. ROY, Ph.T. NGHIEM, P. BERTIER: Programmes linéaires en nombres entiers et procédure SEP. METRA, 4, No. 3, 441–460 (1963).

    Google Scholar 

  32. B.ROY—B.SUSSMANN: Les problèmes d'ordonnancement avec contraintes disjonctives. SEMA, Rapport de Recherche No.9 bis, Octobre 1964.

    Google Scholar 

  33. S. RUDEANU: Irredundant Solutions of Boolean and Pseudo-Boolean Equations. Rev. Roumaine Math. Pures et Appl., 11, 183–188, 1966.

    MathSciNet  MATH  Google Scholar 

Download references

Authors
  1. P. L. Ivănescu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. Rudeanu
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1966 Springer-Verlag

About this chapter

Cite this chapter

Ivănescu, P.L., Rudeanu, S. (1966). Linear 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/BFb0077205

Download citation

  • DOI: https://doi.org/10.1007/BFb0077205

  • 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

Publish with us

Policies and ethics

Search

Navigation