Concepedia

Marcin Kozik

MK

17

Publications

897

Citations

15

H-Index

2008

Active since

Affiliations

Jagiellonian University(Current)

Charles University

McMaster University

University of Waterloo

Marcin Kozik is an author at Jagiellonian University specializing in combinatorial optimization, engineering, and computer science.

Top concepts

EngineeringComputer ScienceCombinatorial OptimizationComputational ComplexityAutomated ReasoningDiscrete MathematicsFormal MethodsFormal VerificationMathematical ProgrammingVerification

Publications per year

2008–2019

17

Publications

17

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

Characterizations of several Maltsev conditions

Marcin Kozik, Andrei Krokhin, Matthew Valeriote et al. · Algebra Universalis · 2015 · 62 citations · Full text

Nonlinear Functional Analysis, Integrable System, Several Maltsev Conditions +1

Rows per page

1–5 of 17