According to our database1, Janosch Döcker authored at least 13 papers between 2016 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy.
Theor. Comput. Sci., 2020
Discret. Appl. Math., 2019
Int. J. Found. Comput. Sci., 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
Proceedings of the Algorithmic Decision Theory - 5th International Conference, 2017
On planar variants of the monotone satisfiability problem with bounded variable appearances.
Complexity and Tractability Islands for Combinatorial Auctions on Discrete Intervals with Gaps.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016