Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 1 of 1 for “"Boolean isomorphism"”.

  1. Generalized Satisfiability Problems

    … He identified and characterized all classes of Boolean functions being closed under superposition. It is possible to study problems which are connected to generalized propositional logic by using this result, which was done in this thesis. Hence, many different problems connected to …

    wurz-thes Repository record for Generalized Satisfiability Problems (opens in a new tab)