Auswahl von SAT-Instanzen zur Evaluation von Solvern: Versionsgeschichte

Auswahl des Versionsunterschieds: Markiere die Radiobuttons der zu vergleichenden Versionen und drücke die Eingabetaste oder die Schaltfläche am unteren Rand.
Legende: (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version, K = Kleine Änderung

19. Juli 2021

12. Juli 2021

  • AktuellVorherige 12:4212:42, 12. Jul. 2021Jakob Bach Diskussion Beiträge 192 Bytes +192 Bytes Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Youheng Lü |email=youheng.lue@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Jakob Bach |termin=Institutsseminar/2021-07-23 Zus…“