Santiago Guzmán-Pro

28 papers A* 2B 3Journal 22
YearRankTypeTitle / Venue / Authors
2026 A* conf
A CSP approach to Graph Sandwich Problems.
SODA
Manuel Bodirsky, Santiago Guzmán-Pro
2026 J jnl
GMSNP and Finite Structures.
ACM Trans. Comput. Theory
Santiago Guzmán-Pro
2026 B conf
Hereditary First-Order Logic: the Tractable Quantifier Prefix Classes.
CSL
Manuel Bodirsky, Santiago Guzmán-Pro
2026 J jnl
On the complexity of Sandwich Problems for
CoRR
Alexey Barsukov, Santiago Guzmán-Pro
2026 B conf
Quantified Colouring and H-Free Algorithmics.
SOFSEM
Kristina Asimi, Tala Eagling-Vose, Santiago Guzmán-Pro, Barnaby Martin, Yiming Qiu
2025 J jnl
A CSP approach to Graph Sandwich Problems.
CoRR
Manuel Bodirsky, Santiago Guzmán-Pro
2025 J jnl
Circular Chromatic Numbers, Balanceability, Relation Algebras, and Network Satisfaction Problems.
CoRR
Manuel Bodirsky, Santiago Guzmán-Pro, Moritz Jahn, Matej Konecný, Paul Winkler
2025 J jnl
Forbidden Tournaments and the Orientation Completion Problem.
SIAM J. Discret. Math.
Manuel Bodirsky, Santiago Guzmán-Pro
2025 J jnl
On the Computational Power of Extensional ESO.
CoRR
Manuel Bodirsky, Santiago Guzmán-Pro
2025 J jnl
On the expressive power of
CoRR
Jan Bok, Santiago Guzmán-Pro, Nikola Jedlicková, César Hernández-Cruz
2025 A* conf
Restricted CSPs and F-Free Digraph Algorithmics.
ICALP
Santiago Guzmán-Pro, Barnaby Martin
2025 J jnl
Restricted CSPs and F-free Digraph Algorithmics.
CoRR
Santiago Guzmán-Pro, Barnaby Martin
2025 J jnl
The Generic Circular Triangle-Free Graph.
J. Graph Theory
Manuel Bodirsky, Santiago Guzmán-Pro
2024 J jnl
Full-homomorphisms to paths and cycles.
Discret. Math.
Santiago Guzmán-Pro
2024 J jnl
GMSNP and Finite Structures.
CoRR
Santiago Guzmán-Pro
2024 J jnl
Hereditary First-Order Model Checking.
CoRR
Manuel Bodirsky, Santiago Guzmán-Pro
2024 J jnl
Lattice Path Bicircular Matroids.
Graphs Comb.
Santiago Guzmán-Pro, Winfried Hochstättler
2024 J jnl
Local expressions of hereditary classes.
CoRR
Santiago Guzmán-Pro
2024 J jnl
Orientations without forbidden patterns on three vertices.
Appl. Math. Comput.
Santiago Guzmán-Pro, César Hernández-Cruz
2024 J jnl
Oriented cobicircular matroids are
Discret. Math.
Santiago Guzmán-Pro, Winfried Hochstättler
2023 B conf
An Efficient Computation of the Rank Function of a Positroid.
FCT
Lamar Chidiac, Santiago Guzmán-Pro, Winfried Hochstättler, Anthony Youssef
2023 J jnl
Describing hereditary properties by forbidden circular orderings.
Appl. Math. Comput.
Santiago Guzmán-Pro, Pavol Hell, César Hernández-Cruz
2023 J jnl
Forbidden Tournaments and the Orientation Completion Problem.
CoRR
Manuel Bodirsky, Santiago Guzmán-Pro
2023 — —
Local expressions of hereditary classes
Santiago Guzmán-Pro
2022 J jnl
Oriented expressions of graph properties.
Eur. J. Comb.
Santiago Guzmán-Pro, César Hernández-Cruz
2021 J jnl
Duality Pairs and Homomorphisms to Oriented and Unoriented Cycles.
Electron. J. Comb.
Santiago Guzmán-Pro, César Hernández-Cruz
2020 J jnl
Duality pairs and homomorphisms to oriented and unoriented cycles.
CoRR
Santiago Guzmán-Pro, César Hernández-Cruz
2020 J jnl
Orientations without forbidden patterns on three vertices.
CoRR
Santiago Guzmán-Pro, César Hernández-Cruz