Advanced tools and methods for treewidth-based problem solving
Hecher, Markus
- Link zu diesem Datensatz
- https://d-nb.info/1289782946
- Titel
- Advanced tools and methods for treewidth-based problem solving
- Art des Inhalts
- Teil eines Werks
- Autor
- Hecher, Markus
- Zeitliche Einordnung
- Erscheinungsdatum: 2023
- Umfang/Format
- Online-Ressource
- DOI
- 10.1515/itit-2023-0004
- Online
- https://doi.org/10.1515/itit-2023-0004
- Sprache
- eng
- Schlagwörter
-
- AI
- ETH lower bounds
- logic
- parameterized complexity
- quantitative reasoning
- treewidth
- Theory of computation → Design and analysis of algorithms → Parameterized complexity and exact algorithms
- Theory of computation → Computational complexity and cryptography → Complexity theory and logic
- Mathematics of computing → Discrete mathematics → Graph algorithms
- Mathematics of computing → Discrete mathematics → Trees
- Computing methodologies → Artificial intelligence → Knowledge representation and reasoning
- Frühere/spätere Titel
-
- Enthalten in: Information technology
- Enthalten in: Information technology
- Enthalten in: Information technology
- Stand
- 25.04.2024 18:48
- Im Katalog seit
- 07.03.2026