research
∙
11/12/2022
Hypercubes and Hamiltonian Cycles of Display Sets of Rooted Phylogenetic Networks
In the context of reconstructing phylogenetic networks from a collection...
share
research
∙
12/17/2019
Monotone 3-Sat-(2,2) is NP-complete
We show that Monotone 3-Sat remains NP-complete if (i) each clause conta...
research
∙
08/14/2019
Placing quantified variants of 3-SAT and Not-All-Equal 3-SAT in the polynomial hierarchy
The complexity of variants of 3-SAT and Not-All-Equal 3-SAT is well stud...
research
∙
08/12/2019
On simplified NP-complete variants of Not-All-Equal 3-Sat and 3-Sat
We consider simplified, monotone versions of Not-All-Equal 3-Sat and 3-S...
research
∙
12/12/2017
On the existence of a cherry-picking sequence
Recently, the minimum number of reticulation events that is required to ...
research
∙
12/08/2017