Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
Universität zu Lübeck Home
English
Deutsch
Home
Einrichtungen
Personen
Publikationen
Projekte
Preise
Spin-Offs
Aktivitäten
Medien
Nach Expertise, Namen oder Zugehörigkeit suchen
SAT-Encodings of Tree Decompositions
Max Bannach,
Sebastian Berndt
, Thorsten Ehlers, Dirk Nowotka
Institut für Theoretische Informatik
Christian-Albrechts Universität zu Kiel
Übersicht (Administrator/-in)
Fingerprint
Fingerprint
Untersuchen Sie die Forschungsthemen von „SAT-Encodings of Tree Decompositions“. Zusammen bilden sie einen einzigartigen Fingerprint.
sortieren
Gewichtung
Alphabetisch
Mathematik
Tree Decomposition
100%
Encoding
76%
Benchmark
74%
Graph in graph theory
35%