Toggle navigation
reposiTUm
ÜBER REPOSITUM
HILFE
Anmelden
Aktuelles
Browsen nach
Publikationstypen
Organisationseinheiten
Forschende
Projekte
TU Wien Academic Press
Open-Access-Schriftenreihen
Hochschulschriften
Digitalisate
Erscheinungsjahr
Datensatz Zitierlink:
http://hdl.handle.net/20.500.12708/153787
-
Titel:
SAT-based Local Improvement
en
Zitat:
Szeider, S. (2022).
SAT-based Local Improvement
[Keynote Presentation]. UNRAVEL-LOGICS workshop, Austria.
-
Publikationstyp:
Vortrag - Keynote-Präsentation
de
Sprache:
Englisch
-
Autor_innen:
Szeider, Stefan
-
Organisationseinheit:
E192-01 - Forschungsbereich Algorithms and Complexity
-
Datum (veröffentlicht):
2022
-
Veranstaltungsname:
UNRAVEL-LOGICS workshop
de
Veranstaltungszeitraum:
3-Okt-2022
-
Veranstaltungsort:
Österreich
-
Keywords:
SAT
en
Forschungsschwerpunkte:
Logic and Computation: 100%
-
Wissenschaftszweig:
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Enthalten in den Sammlungen:
Presentation
Zur Langanzeige
Seiten Aufrufe
123
aufgerufen am 23.11.2023
Google Scholar
TM
Check