TU Bergakademie Freiberg | Fakultät für Mathematik und Informatik

1. Workshop Boolesche Probleme

Bernd Steinbach, Institut für Informatik, TU Bergakademie Freiberg, D - 09596 Freiberg

Abstract
Boolean functions and Boolean equations are useful for modeling of problems in many different areas. This paper sketches some of these models in the areas of environment, geology, science of material, control technique and computer science. Itīs well known, if a Boolean equation is depending on n variables the set of solution may include up to 2ⁿ binary vectors. This paper shows on one the hand the restricted knowledge of computer science about such hard problems and on the other hand the state of the art for practical solution.