:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Fioravantes, Foivos, Knop, Dušan, Křišťan, Jan Matyáš, Melissinos, Nikolaos, Opler, Michal, Vu, Tung Anh
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Computational Complexity Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2412.09433
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Exact Algorithms for Multiagent Path Finding with Communication Constraints on Tree-Like Structures
di: Fioravantes, Foivos, et al.
Pubblicazione: (2024)

When Agents Break Down in Multiagent Path Finding
di: Fioravantes, Foivos, et al.
Pubblicazione: (2025)

Exact Algorithms for Distance to Unique Vertex Cover
di: Fioravantes, Foivos, et al.
Pubblicazione: (2025)

Parameterised distance to local irregularity
di: Fioravantes, Foivos, et al.
Pubblicazione: (2023)

Parameterized Critical Node Cut Revisited
di: Knop, Dušan, et al.
Pubblicazione: (2025)

Exact Algorithms and Lower Bounds for Forming Coalitions of Constrained Maximum Size
di: Fioravantes, Foivos, et al.
Pubblicazione: (2025)

On the Complexity of Target Set Selection in Simple Geometric Networks
di: Dvořák, Michal, et al.
Pubblicazione: (2023)

Individual Rationality in Constrained Hedonic Games: Additively Separable and Fractional Preferences
di: Fioravantes, Foivos, et al.
Pubblicazione: (2026)

Multi-Agent Path Finding For Large Agents Is Intractable
di: Agafonov, Artem, et al.
Pubblicazione: (2025)

Graph Irregularity via Edge Deletions
di: Bensmail, Julien, et al.
Pubblicazione: (2025)

Fast and simple multiplication of bounded twin-width matrices
di: Kozma, László, et al.
Pubblicazione: (2026)

Parameterized Max Min Feedback Vertex Set
di: Lampis, Michael, et al.
Pubblicazione: (2023)

Game-Theoretic and Algorithmic Analyses of Multi-Agent Routing under Crossing Costs
di: Hanaka, Tesshu, et al.
Pubblicazione: (2026)

Solving Quantified Boolean Formulas with Few Existential Variables
di: Eriksson, Leif, et al.
Pubblicazione: (2024)

Eliminating Majority Illusions
di: Fioravantes, Foivos, et al.
Pubblicazione: (2025)

Precoloring extension with demands on paths
di: Das, Arun Kumar, et al.
Pubblicazione: (2025)

Modern Hopfield Networks Require Chain-of-Thought to Solve $\mathsf{NC}^1$-Hard Problems
di: Cao, Yang, et al.
Pubblicazione: (2024)

Satisfactory Budget Division
di: Gourvès, Laurent, et al.
Pubblicazione: (2025)

Data Complexity in Expressive Description Logics With Path Expressions
di: Bednarczyk, Bartosz
Pubblicazione: (2024)

Learning to Think from Multiple Thinkers
di: Joshi, Nirmit, et al.
Pubblicazione: (2026)

Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
di: Li, Jinzhao, et al.
Pubblicazione: (2023)

When Can We Solve the Weighted Low Rank Approximation Problem in Truly Subquadratic Time?
di: Li, Chenyang, et al.
Pubblicazione: (2025)

A Structural Complexity Analysis of Hierarchical Task Network Planning
di: Brand, Cornelius, et al.
Pubblicazione: (2024)

Bandwidth Parameterized by Cluster Vertex Deletion Number
di: Gima, Tatsuya, et al.
Pubblicazione: (2023)

Structural Parameters for Steiner Orientation
di: Hanaka, Tesshu, et al.
Pubblicazione: (2025)

Finding hardness reductions automatically using SAT solvers
di: Bergold, Helena, et al.
Pubblicazione: (2024)

On the Computational Capability of Graph Neural Networks: A Circuit Complexity Bound Perspective
di: Li, Xiaoyu, et al.
Pubblicazione: (2025)

Strongly Polynomial Time Complexity of Policy Iteration for $L_\infty$ Robust MDPs
di: Asadi, Ali, et al.
Pubblicazione: (2026)

Clausal Deletion Backdoors for QBF: a Parameterized Complexity Approach
di: Eriksson, Leif, et al.
Pubblicazione: (2026)

Over the Edge of Chaos? Excess Complexity as a Roadblock to Artificial General Intelligence
di: Susnjak, Teo, et al.
Pubblicazione: (2024)

CSPs with Few Alien Constraints
di: Jonsson, Peter, et al.
Pubblicazione: (2024)

Prime Successor Irreducibility: Turing Machine Complexity, Kolmogorov Complexity, and Weakness-Based Formulations
di: Goertzel, Ben, et al.
Pubblicazione: (2026)

Probabilistic Generating Circuits -- Demystified
di: Agarwal, Sanyam, et al.
Pubblicazione: (2024)

The Computational Boundary of Inference: Capability Internalization, Training, and the Turing Jump
di: Lu, Chien-Ping
Pubblicazione: (2026)

From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy
di: Dörfler, Julian, et al.
Pubblicazione: (2024)

Parameterized Complexity Of Representing Models Of MSO Formulas
di: Kučera, Petr, et al.
Pubblicazione: (2026)

An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages
di: Fargier, Hélène, et al.
Pubblicazione: (2021)

Complexity of Scheduling Charging in the Smart Grid
di: de Weerdt, Mathijs, et al.
Pubblicazione: (2017)

Diversity of Extensions in Abstract Argumentation
di: Fichte, Johannes K., et al.
Pubblicazione: (2026)

ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints
di: Handa, Divij, et al.
Pubblicazione: (2024)