research
∙
05/03/2023
Short definitions in constraint languages
A first-order formula is called primitive positive (pp) if it only admit...
share
research
∙
05/16/2022
The Smallest Hard Trees
We find an orientation of a tree with 20 vertices such that the correspo...
research
∙
11/02/2018
