bibliographer - Libor Barto

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]

The Complexity of the Homomorphism Problem for Boolean structures Libor Barto William DeMeo Antoine Mottet [github]

Sensitive Instances of the Constraint Satisfaction Problem Libor Barto Marcin Kozik Johnson Tan Matt Valeriote [github]

The wonderland of reflections Libor Barto Jakub Opršal Michael Pinsker [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]

Algebraic Approach to Promise Constraint Satisfaction Libor Barto Jakub Bulín Andrei Krokhin Jakub Opršal [github]

Finitely Related Algebras In Congruence Distributive Varieties Have Near Unanimity Terms Libor Barto [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]