research
∙
05/16/2022
The Smallest Hard Trees
We find an orientation of a tree with 20 vertices such that the correspo...
research
∙
01/22/2020
ASNP: a tame fragment of existential second-order logic
Amalgamation SNP (ASNP) is a fragment of existential second-order logic ...
research
∙
01/22/2020
AMSNP: a tame fragment of existential second-order logic
Amalgamation monotone SNP (AMSNP) is a fragment of existential second-or...
research
∙
01/22/2018