Concepedia

Libor Barto

LB

26

Publications

1.3K

Citations

20

H-Index

2008

Active since

Affiliations

Charles University(Current)

Jagiellonian University

McMaster University

Libor Barto is an author at Charles University specializing in engineering, combinatorial optimization, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningCombinatorial OptimizationFormal MethodsComputational ComplexityDiscrete MathematicsMathematical ProgrammingFormal VerificationSatisfiability

Publications per year

2008–2021

26

Publications

26

Constraint Satisfaction Problems Solvable by Local Consistency Methods

Libor Barto, Marcin Kozik · Journal of the ACM · 2014 · 171 citations · Full text

Local Consistency Methods, Local Consistency, Engineering +13

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 · SIAM Journal on Computing · 2009 · 162 citations · Full text

Directed Graph, Engineering, Hard Digraphs +16

Constraint Satisfaction Problems of Bounded Width

Libor Barto, Marcin Kozik · 2009 · 149 citations

Mathematical Programming, Data Consistency, Constraint Solving +14

Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem

Libor Barto, Marcin Kozik · Logical Methods in Computer Science · 2012 · 110 citations · Full text

Schubert Calculus, Constraint Solving, Cyclic Terms +9

The wonderland of reflections

Libor Barto, Jakub Opršal, Michael Pinsker · Israel Journal of Mathematics · 2017 · 91 citations

Poetics, Literary Study, Literary Criticism +1

Rows per page

1–5 of 26