research
∙
05/25/2023
Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning
Allen's interval algebra is one of the most well-known calculi in qualit...
share
research
∙
05/25/2023
A Fast Algorithm for Consistency Checking Partially Ordered Time
Partially ordered models of time occur naturally in applications where a...
research
∙
11/18/2022
Computational Short Cuts in Infinite Domain Constraint Satisfaction
A backdoor in a finite-domain CSP instance is a set of variables where e...
research
∙
09/30/2022
A Multivariate Complexity Analysis of Qualitative Reasoning Problems
Qualitative reasoning is an important subfield of artificial intelligenc...
research
∙
07/14/2022
Component twin-width as a parameter for BINARY-CSP and its semiring generalisations
We investigate the fine-grained and the parameterized complexity of seve...
research
∙
06/17/2019
On the Strength of Uniqueness Quantification in Primitive Positive Formulas
Uniqueness quantification (∃ !) is a quantifier in first-order logic whe...
research
∙
01/29/2018