Login / Signup
On the nonexistence of FO-continuous path and tree-decompositions.
Julien Grange
Published in:
CoRR (2021)
Keyphrases
</>
tree decompositions
constraint satisfaction problems
tree decomposition
first order logic
databases
constraint propagation