8 citations · 23 across the 8 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.CC2024
An even simpler hard variant of Not-All-Equal 3-SAT
Andreas Darmann, Janosch Döcker, Britta Dorn
We show that Not-All-Equal 3-Sat remains NP-complete when restricted to instances that simultaneously satisfy the following properties: (i) The clauses are given as the disjoint un…
q-bio.PE2024
On the existence of funneled orientations for classes of rooted phylogenetic networks
Janosch Döcker, Simone Linz
Recently, there has been a growing interest in the relationships between unrooted and rooted phylogenetic networks. In this context, a natural question to ask is if an unrooted phy…