bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

Unifying the Three Algebraic Approaches to the CSP via Minimal Taylor Algebras Libor Barto Zarathustra Brady Andrei Bulatov Marcin Kozik Dmitriy Zhuk [github]
Symmetries of structures that fail to interpret something finite Libor Barto Bertalan Bodor Marcin Kozik Antoine Mottet Michael Pinsker [github]
Sensitive Instances of the Constraint Satisfaction Problem Libor Barto Marcin Kozik Johnson Tan Matt Valeriote [github]
A finite set of functions with an EXPTIME-complete composition problem Marcin Kozik [github]
The CSP Dichotomy Holds for Digraphs with No Sources and No Sinks (A Positive Answer to a Conjecture of Bang-Jensen and Hell) Libor Barto Marcin Kozik Todd Niven [github]
Congruence Distributivity Implies Bounded Width Libor Barto Marcin Kozik [github]
Constraint Satisfaction Problems Solvable by Local Consistency Methods Libor Barto Marcin Kozik [github]

Library Size: 13G (7 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge
[show logs] [hide logs]