Accéder directement au contenu

Johan Thapper

16
Documents

Publications

Image document

Tractability conditions for numeric CSPs

Peter Jonsson , Johan Thapper
Theoretical Computer Science, 2018, 715, pp.21 - 34. ⟨10.1016/j.tcs.2018.01.013⟩
Article dans une revue hal-01796723v1
Image document

The Limits of SDP Relaxations for General-Valued CSPs

Johan Thapper , Stanislav Živný
ACM Transactions on Computation Theory, 2018, 10 (3), pp.1 - 22. ⟨10.1145/3201777⟩
Article dans une revue hal-01798805v1

Tropical dominating sets in vertex-coloured graphs

Marek Karpinski , Narayanan Narayanan N Narayanan , Johan Thapper , Abdelhakim El Maftouhi , Laurent Rosaz
Journal of Discrete Algorithms, 2018
Article dans une revue hal-01762194v1

The Power of Sherali--Adams Relaxations for General-Valued CSPs

Johan Thapper , Stanislav Živný
SIAM Journal on Computing, 2017, 46 (4), pp.1241 - 1279. ⟨10.1137/16M1079245⟩
Article dans une revue hal-01796721v1
Image document

Constraint Satisfaction and Semilinear Expansions of Addition over the Rationals and the Reals

Peter Jonsson , Johan Thapper
Journal of Computer and System Sciences, 2016, 82 (5), pp.912 - 928. ⟨10.1016/j.jcss.2016.03.002⟩
Article dans une revue hal-01796722v1

The Complexity of Finite-Valued CSPs

Johan Thapper , Stanislav Živný
Journal of the ACM (JACM), 2016, 63 (4), pp.1 - 33. ⟨10.1145/2974019⟩
Article dans une revue hal-01796719v1

Necessary Conditions for Tractability of Valued CSPs

Johan Thapper , Stanislav Živný
SIAM Journal on Discrete Mathematics, 2015, 29 (4), pp.2361 - 2384. ⟨10.1137/140990346⟩
Article dans une revue hal-01762342v1

The Power of Linear Programming for General-Valued CSPs

Vladimir Kolmogorov , Johan Thapper , Stanislav Živný
SIAM Journal on Computing, 2015, 44 (1), pp.1 - 36. ⟨10.1137/130945648⟩
Article dans une revue hal-01762346v1
Image document

An approximability-related parameter on graphs―-properties and applications

Robert Engström , Tommy Färnqvist , Peter Jonsson , Johan Thapper
Discrete Mathematics and Theoretical Computer Science, 2015, Vol. 17 no. 1 (1), pp.33--66. ⟨10.46298/dmtcs.2118⟩
Article dans une revue hal-01196862v1
Image document

Constraint Satisfaction Tractability from Semi-lattice Operations on Infinite Sets

Manuel Bodirsky , Dugald Macpherson , Johan Thapper
ACM Transactions on Computational Logic, 2013, 14 (4), pp.30:1-19. ⟨10.1145/2528933⟩
Article dans une revue hal-00756929v1

The limits of SDP relaxations for general-valued CSPs

Johan Thapper , Stanislav Živný
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005087⟩
Communication dans un congrès hal-01796715v1

Cohérences et dichotomies parmi des CSP pondérés

Johan Thapper
JFPC 2016 : Actes des Douzièmes Journées Francophones de Programmation par Contraintes, Jun 2016, Montpellier, France. pp.16-17
Communication dans un congrès hal-01730648v1

Tropical Dominating Sets in Vertex-Coloured Graphs

Laurent Rosaz , Marek Karpinski , Narayanan Narayanan N Narayanan , Johan Thapper , Abdelhakim El Maftouhi
10th International Workshop on Algorithms and Computation (WALCOM 2016), 2016, Katmandu, Nepal. pp.17-27
Communication dans un congrès hal-01762279v1
Image document

Sherali-Adams relaxations for valued CSPs

Johan Thapper , Stanislav Živný
42nd International Colloquium on Automata, Languages, and Programming (ICALP-2015), 2015, Kyoto, Japan
Communication dans un congrès hal-01762339v1
Image document

Affine consistency and the complexity of semilinear constraints

Peter Jonsson , Johan Thapper
39th International Symposium on Mathematical Foundations of Computer Science (MFCS-2014), 2014, Budapest, Hungary
Communication dans un congrès hal-01762331v1
Image document

The Complexity of Valued Constraint Satisfaction Problems in a Nutshell

Johan Thapper
Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Communication dans un congrès hal-00830467v1