Segui
Janosch Döcker
Janosch Döcker
Research Fellow, University of Auckland
Email verificata su auckland.ac.nz - Home page
Titolo
Citata da
Citata da
Anno
On simplified NP-complete variants of Monotone 3-Sat
A Darmann, J Döcker
Discrete Applied Mathematics 292, 45-58, 2021
152021
On a simple hard variant of Not-All-Equal 3-Sat
A Darmann, J Döcker
Theoretical Computer Science 815, 147-152, 2020
132020
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
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
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
102019
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
92018
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
62019
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
arXiv preprint arXiv:1901.06725, 2019
32019
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
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
12022
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
On the existence of funneled orientations for classes of rooted phylogenetic networks
J Döcker, S Linz
arXiv preprint arXiv:2401.05611, 2024
2024
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
2024
Placing problems from phylogenetics and (quantified) propositional logic in the polynomial hierarchy
JO Döcker
Universität Tübingen, 2021
2021
Tool auctions
J Döcker, B Dorn, U Endriss, R de Haan, S Schneckenburger
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
2018
On the existence of a cherry-picking sequence
S Linz, J Döcker
Elsevier, 2017
2017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20