Auswahl von SAT Instanzen zur Evaluation von Solvern: Versionsgeschichte

Zur Navigation springen Zur Suche springen

Zur Anzeige der Änderungen einfach die zu vergleichenden Versionen auswählen und die Schaltfläche „Gewählte Versionen vergleichen“ klicken.

  • (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version
  • Uhrzeit/Datum = Version zu dieser Zeit, Benutzername/IP-Adresse des Bearbeiters, K = Kleine Änderung
  • AktuellVorherige 10:37, 25. Feb. 2021Jakob Bach Diskussion Beiträge 1.197 Bytes +1.197 Bytes Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Youheng Lü |email=youheng.lue@student.kit.edu |vortragstyp=Proposal |betreuer=Jakob Bach |termin=Institutsseminar/2021-03-12 Zusatzter…“