Formelsynthese Flashcards

1
Q

Funktionale Formelsynthese: Auflösen von Rekonvergenzen

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Probleme mit Auflösen von Rekonvergenzen

A
  • Anzahl der Gatter steigt im Allgemeinen exponentiell an
  • Anzahl der Funktionen nimmt mit Anzahl der Ausgangsvariablen zu
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Relationale Formelsynthese

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Definitorische Formelsysthese

A
How well did you know this?
1
Not at all
2
3
4
5
Perfectly