Johan Thapper

Publications

Article dans une revue (10)

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
Tropical dominating sets in vertex-coloured graphs Marek Karpinski,Narayanan Narayanan N Narayanan,Johan Thapper,Abdelhakim El Maftouhi,Laurent Rosazet al. Journal of Discrete Algorithms, 2018, 48, pp.27-41. ⟨10.1016/j.jda.2018.03.001⟩ Article dans une revue hal-01762194v1
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
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
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
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
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
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
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

Communication dans un congrès (6)

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
Tropical Dominating Sets in Vertex-Coloured Graphs Laurent Rosaz,Marek Karpinski,Narayanan Narayanan N Narayanan,Johan Thapper,Abdelhakim El Maftouhiet al. 10th International Workshop on Algorithms and Computation (WALCOM 2016), 2016, Katmandu, Nepal. pp.17-27 Communication dans un congrès hal-01762279v1
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
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
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
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