Seguir
Janosch Döcker
Janosch Döcker
Afiliación desconocida
Dirección de correo verificada de auckland.ac.nz
Título
Citado por
Citado por
Año
On simplified NP-complete variants of Monotone 3-Sat
A Darmann, J Döcker
Discrete Applied Mathematics 292, 45-58, 2021
202021
On a simple hard variant of Not-All-Equal 3-Sat
A Darmann, J Döcker
Theoretical Computer Science 815, 147-152, 2020
192020
On simplified NP-complete variants of Not-All-Equal 3-SAT and 3-SAT
A Darmann, J Döcker
arXiv preprint arXiv:1908.04198, 2019
112019
Deciding the existence of a cherry-picking sequence is hard on two trees
J Döcker, L Van Iersel, S Kelk, S Linz
Discrete Applied Mathematics 260, 131-143, 2019
112019
The monotone satisfiability problem with bounded variable appearances
A Darmann, J Döcker, B Dorn
International Journal of Foundations of Computer Science 29 (06), 979-993, 2018
112018
On simplified group activity selection
A Darmann, J Döcker, B Dorn, J Lang, S Schneckenburger
Algorithmic Decision Theory: 5th International Conference, ADT 2017 …, 2017
112017
On planar variants of the monotone satisfiability problem with bounded variable appearances
A Darmann, J Döcker, B Dorn
arXiv preprint arXiv:1604.05588, 2016
92016
Displaying trees across two phylogenetic networks
J Döcker, S Linz, C Semple
Theoretical Computer Science 796, 129-146, 2019
72019
Monotone 3-Sat-4 is NP-complete
A Darmann, J Döcker
arXiv preprint arXiv:1603.07881, 2016
62016
Display sets of normal and tree-child networks
J Döcker, S Linz, C Semple
The Electronic Journal of Combinatorics 28 (1), P1.8, 2021
42021
Hypercubes and Hamilton cycles of display sets of rooted phylogenetic networks
J Döcker, S Linz, C Semple
Advances in Applied Mathematics 152, 102595, 2024
22024
Simplified group activity selection with group size constraints
A Darmann, J Döcker, B Dorn, S Schneckenburger
International Journal of Game Theory, 1-44, 2022
22022
Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy
J Döcker, B Dorn, S Linz, C Semple
Theoretical Computer Science 822, 72-91, 2020
22020
On the existence of funneled orientations for classes of rooted phylogenetic networks
J Döcker, S Linz
Theoretical Computer Science 1023, 114908, 2025
12025
Monotone 3-Sat-(2, 2) is NP-complete
J Döcker
arXiv preprint arXiv:1912.08032, 2019
12019
On the existence of a cherry-picking sequence
J Döcker, S Linz
Theoretical Computer Science 714, 36-50, 2018
12018
Complexity and tractability islands for combinatorial auctions on discrete intervals with gaps
J Döcker, B Dorn, U Endriss, D Krüger
ECAI 2016, 802-809, 2016
12016
Bounding the softwired parsimony score of a phylogenetic network
J Döcker, S Linz, K Wicke
Bulletin of Mathematical Biology 86 (10), 121, 2024
2024
Characterising rooted and unrooted tree-child networks
J Döcker, S Linz
arXiv preprint arXiv:2408.17105, 2024
2024
Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy
JO Döcker
Universität Tübingen, 2021
2021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20