Döcker, Janosch
- On planar variants of the monotone satisfiability problem with bounded\n variable appearances
2016/04/19 by Andreas Darmann, Darmann, Andreas, Janosch Döcker +3 · 1 citation
Computer Science · Engineering · #Computational Complexity (cs.CC) #Computational Geometry and Mesh Generation #FOS: Computer and information sciences #Optimization and Packing Problems #Vehicle Routing Optimization Methods
- On simplified NP-complete variants of Not-All-Equal 3-Sat and 3-Sat
2019/08/12 by Andreas Darmann, Darmann, Andreas, Janosch Döcker +1 · 2 citations
Computer Science · #Formal Methods in Verification #Complexity and Algorithms in Graphs #Logic, Reasoning, and Knowledge
- On the existence of funneled orientations for classes of rooted phylogenetic networks
2024/01/11 by Janosch Döcker, Döcker, Janosch, Simone Linz +1 · 1 citation
Biochemistry, Genetics and Molecular Biology · Earth and Planetary Sciences · #Genomics and Phylogenetic Studies #Bioinformatics and Genomic Networks #Evolution and Paleontology Studies
- Characterising rooted and unrooted tree-child networks
2024/08/30 by Döcker, Janosch, Linz, Simone · 1 citation
#Combinatorics (math.CO) #FOS: Biological sciences #FOS: Mathematics #Populations and Evolution (q-bio.PE)