Nächste Seite:
Binäre Entscheidungsgraphen (ROBDDs)
Aufwärts:
(Integer/Real) Difference Logic
Vorherige Seite:
Laufzeit
Anwendung: Min/Max-Matrixungleichungen
die Halbringoperationen in Min/Max lassen sich (trivial) in RDL/IDL darstellen
2009-06-22
