Optimization of a Linear Objective Function with Logical Constraints

  • Jacek F. Mączyński
Conference paper
Part of the International Union of Theoretical and Applied Mechanics book series (IUTAM)


When structural safety is assimilated by Inclusion Principle to a problem in discretized topology constraints of logical type may be taken account of. This problem is assimilated at least in part to a problem in Design Automation. This in turn is reduced to that of finding a path on a weighted lattice.


Logical Constraint Hamiltonian Path Stress Space Dead Load Structural Safety 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1].
    Arnold B.H., 1963: Logic and Boolean Algebra, Prentice-Hall.Google Scholar
  2. [2].
    Eimer Cz., Maczyński J., 1976: On optimal shell prestressing, J. Struct. Mech. 4, 3, 289–305.CrossRefGoogle Scholar
  3. [3].
    Ford L. R. Jr.; Fulkerson, D.R., 1962: Flows in networks, Princeton.Google Scholar
  4. [4].
    Grzegorczyk A., 1973: An outline of mathematical logic, Reidel-PWN Warszawa.Google Scholar
  5. [5].
    Hammer P. L., 1979: Boolean elements in combinatorial optimisation, Ann. of Discr. Math. 4, pp. 51–71.CrossRefzbMATHMathSciNetGoogle Scholar
  6. [6].
    Lipski, W., Marek W., 1973: On Hamiltonian paths in a graph, CC PASc Reports, no. 130, Warszawa.Google Scholar
  7. [7].
    Pogorzelski W. A., 1973: The classical propositional calculus (in Polish ), PWN Warszawa.Google Scholar

Copyright information

© Springer-Verlag, Berlin Heidelberg 1994

Authors and Affiliations

  • Jacek F. Mączyński
    • 1
  1. 1.Institute of Fundamental Technological ResearchWarszawaPoland

Personalised recommendations