Stanislav \v{Z}ivn\'y

Identifiers

• name variant Stanislav \v{Z}ivn\'y 0.60 · backfill

Papers (7)

1. Strong Sparsification for 1-in-3-SAT via Polynomial Freiman-Ruzsa cs.DS · 2025 · author #4
2. Equations over Finite Monoids with Infinite Promises cs.CC · 2025 · author #3
3. Complexity of approximate conflict-free, linearly-ordered, and nonmonochromatic hypergraph colourings cs.DM · 2025 · author #4
4. Functional Clones and Expressibility of Partition Functions cs.DM · 2016 · author #5
5. Backdoors into Heterogeneous Classes of SAT and CSP cs.AI · 2015 · author #5
6. Tractable Triangles and Cross-Free Convexity in Discrete Optimisation cs.CC · 2014 · author #2
7. Tractable Combinations of Global Constraints cs.AI · 2013 · author #4

Mentions

• 1509.05725 #5 · backfill · confidence 0.70 Stanislav \v{Z}ivn\'y
• 1401.5855 #2 · backfill · confidence 0.70 Stanislav \v{Z}ivn\'y
• 1307.2867 #4 · backfill · confidence 0.70 Stanislav \v{Z}ivn\'y

Frequent Coauthors

• Tamio-Vesa Nakajima 2 shared papers
• Alberto Larrauri 1 shared papers
• Andrei Bulatov 1 shared papers
• Antoine Mottet 1 shared papers
• Benjamin Bedert 1 shared papers
• David A. Cohen 1 shared papers
• David Richerby 1 shared papers
• Evgenij Thorstensen 1 shared papers
• Karolina Okrasa 1 shared papers
• Leslie Ann Goldberg 1 shared papers
• Marcin Wrochna 1 shared papers
• Mark Jerrum 1 shared papers
• Martin C. Cooper 1 shared papers
• Neeldhara Misra 1 shared papers
• Peter G. Jeavons 1 shared papers
• Sebastian Ordyniak 1 shared papers
• Serge Gaspers 1 shared papers
• Stefan Szeider 1 shared papers
• Zephyr Verwimp 1 shared papers