activity
20092021
most citedDefining phylogenetic networks using ancestral profiles

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2019

Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy

Janosch Döcker, Britta Dorn, Simone Linz +1

The complexity of variants of 3-SAT and Not-All-Equal 3-SAT is well studied. However, in contrast, very little is known about the complexity of the problems' quantified counterpart…