Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

Polynomial-time Computation: Opening the Blackboxes in Constraint Problems

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Forbidden Tournaments and the Orientation Completion Problem (si apre in una nuova finestra)

Autori: Manuel Bodirsky, Santiago Guzmán-Pro
Pubblicato in: SIAM Journal on Discrete Mathematics, Numero 39, 2025, ISSN 0895-4801
Editore: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/23M1604849

Big Ramsey degrees and infinite languages (si apre in una nuova finestra)

Autori: Samuel Braunfeld, David Chodounský, Noé de Rancourt, Jan Hubička, Jamal Kawach, Matěj Konečný
Pubblicato in: Advances in Combinatorics, 2024, ISSN 2517-5599
Editore: Alliance of Diamond Open Access Journals
DOI: 10.19086/aic.2024.4

Algebra Universalis (si apre in una nuova finestra)

Autori: Barto, Libor; Kapytka, Maryia
Pubblicato in: Algebra universalis, Numero 86, 2024, ISSN 0002-5240
Editore: Birkhauser Verlag
DOI: 10.48550/ARXIV.2407.16513

Submaximal clones over a three-element set up to minor-equivalence (si apre in una nuova finestra)

Autori: Albert Vucaj, Dmitriy Zhuk
Pubblicato in: Algebra universalis, Numero 85, 2024, ISSN 0002-5240
Editore: Springer Science and Business Media LLC
DOI: 10.1007/s00012-024-00852-w

Generalisations of matrix partitions: Complexity and obstructions (si apre in una nuova finestra)

Autori: Alexey Barsukov, Mamadou Moustapha Kanté
Pubblicato in: Theoretical Computer Science, Numero 1007, 2024, ISSN 0304-3975
Editore: Elsevier BV
DOI: 10.1016/j.tcs.2024.114652

SIAM Journal on Computing (si apre in una nuova finestra)

Autori: Antoine Mottet; Tomáš Nagy; Michael Pinsker; Michał Wrona
Pubblicato in: SIAM Journal on Computing, Numero 53/6, 2024, ISSN 0097-5397
Editore: SIAM
DOI: 10.1137/22M1538934

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory (si apre in una nuova finestra)

Autori: Manuel Bodirsky, Bertalan Bodor
Pubblicato in: ACM Transactions on Computation Theory, Numero 16, 2024, ISSN 1942-3454
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3649445

ON THE ZARISKI TOPOLOGY ON ENDOMORPHISM MONOIDS OF OMEGA-CATEGORICAL STRUCTURES (si apre in una nuova finestra)

Autori: MICHAEL PINSKER, CLEMENS SCHINDLER
Pubblicato in: The Journal of Symbolic Logic, 2024, ISSN 0022-4812
Editore: Cambridge University Press (CUP)
DOI: 10.1017/jsl.2023.81

Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures (si apre in una nuova finestra)

Autori: Antoine Mottet, Michael Pinsker
Pubblicato in: Journal of the ACM, Numero 71, 2024, ISSN 0004-5411
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3689207

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras (si apre in una nuova finestra)

Autori: Libor Barto, Zarathustra Brady, Andrei Bulatov, Marcin Kozik, Dmitriy Zhuk
Pubblicato in: TheoretiCS, Numero Volume 3, 2024, ISSN 2751-4838
Editore: Centre pour la Communication Scientifique Directe (CCSD)
DOI: 10.46298/theoretics.24.14

Polish topologies on endomorphism monoids of relational structures (si apre in una nuova finestra)

Autori: L. Elliott, J. Jonušas, J.D. Mitchell, Y. Péresse, M. Pinsker
Pubblicato in: Advances in Mathematics, Numero 431, 2023, ISSN 0001-8708
Editore: Elsevier BV
DOI: 10.1016/j.aim.2023.109214

SIAM Journal on Discrete Mathematics (si apre in una nuova finestra)

Autori: Manuel Bodirsky; Santiago Guzmán-Pro
Pubblicato in: SIAM Journal on Discrete Mathematics, Numero 39/1, 2025, ISSN 0895-4801
Editore: Society for Industrial and Applied Mathematics
DOI: 10.48550/ARXIV.2309.08327

Archive for Mathematical Logic (si apre in una nuova finestra)

Autori: Marimon, Paolo
Pubblicato in: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Editore: Springer
DOI: 10.1007/S00153-024-00943-4

Complexity Classification Transfer for CSPs via Algebraic Products (si apre in una nuova finestra)

Autori: Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Žaneta Semanišinová
Pubblicato in: SIAM Journal on Computing, Numero 53, 2024, ISSN 0097-5397
Editore: Society for Industrial & Applied Mathematics (SIAM)
DOI: 10.1137/22M1534304

Finite algebras with Hom-sets of polynomial size (si apre in una nuova finestra)

Autori: Libor Barto, Antoine Mottet
Pubblicato in: Transactions of the American Mathematical Society, 2024, ISSN 0002-9947
Editore: American Mathematical Society (AMS)
DOI: 10.1090/TRAN/9262

The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems (si apre in una nuova finestra)

Autori: Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz
Pubblicato in: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Numero 27, 2024
Editore: ACM
DOI: 10.1145/3661814.3662071

An Order out of Nowhere: A New Algorithm for Infinite-Domain CSPs (si apre in una nuova finestra)

Autori: Antoine Mottet, Tomáš Nagy, Michael Pinsker
Pubblicato in: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024
Editore: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.48550/ARXIV.2301.12977

Network Satisfaction Problems Solved by k-Consistency (si apre in una nuova finestra)

Autori: Manuel Bodirsky, Simon Knäuer
Pubblicato in: 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023), 2023, ISSN 1868-8969
Editore: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2023.116

Algebraic Approach to Approximation (si apre in una nuova finestra)

Autori: Libor Barto; Silvia Butti; Alexandr Kazda; Caterina Viola; Stanislav Živný
Pubblicato in: LICS '24: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024, ISBN 9798400706608
Editore: Association for Computing Machinery
DOI: 10.48550/ARXIV.2401.15186

An Order out of Nowhere: A New Algorithm for Infinite-Domain CSPs (si apre in una nuova finestra)

Autori: Antoine Mottet, Tom Nagy, Michael Pinsker
Pubblicato in: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024
Editore: Leibniz International Proceedings in Informatics (LIPIcs)
DOI: 10.4230/LIPIcs.ICALP.2024.148

Circuit Equivalence in 2-Nilpotent Algebras (si apre in una nuova finestra)

Autori: Piotr Kawałek, Michael Kompatscher, Jacek Krzaczkowski
Pubblicato in: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 2024, ISSN 1868-8969
Editore: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.STACS.2024.45

$\prod_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem (si apre in una nuova finestra)

Autori: Dmitriy Zhuk
Pubblicato in: 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS), 2024
Editore: IEEE
DOI: 10.1109/FOCS61266.2024.00043

Identifying Tractable Quantified Temporal Constraints Within Ord-Horn (si apre in una nuova finestra)

Autori: Jakub Rydval, Žaneta Semanišinová, Michał Wrona
Pubblicato in: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024, ISSN 1868-8969
Editore: "Schloss Dagstuhl -- Leibniz-Zentrum f{\""u}r Informatik"
DOI: 10.4230/LIPIcs.ICALP.2024.151

Resolving Sets in Temporal Graphs (si apre in una nuova finestra)

Autori: Jan Bok, Antoine Dailly, Tuomo Lehtilä
Pubblicato in: Lecture Notes in Computer Science, Combinatorial Algorithms, 2024, ISBN 978-3-031-63020-0
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-63021-7_22

A topological proof of the Hell-Nešetřil dichotomy (si apre in una nuova finestra)

Autori: Sebastian Meyer, Jakub Opršal
Pubblicato in: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2025
Editore: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611978322.154

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0