Picture for Leif Eriksson

Leif Eriksson

Solving Quantified Boolean Formulas with Few Existential Variables

Add code
May 10, 2024
Viaarxiv icon

Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning

Add code
May 25, 2023
Viaarxiv icon

A Fast Algorithm for Consistency Checking Partially Ordered Time

Add code
May 25, 2023
Figure 1 for A Fast Algorithm for Consistency Checking Partially Ordered Time
Figure 2 for A Fast Algorithm for Consistency Checking Partially Ordered Time
Viaarxiv icon

A Multivariate Complexity Analysis of Qualitative Reasoning Problems

Add code
Sep 30, 2022
Figure 1 for A Multivariate Complexity Analysis of Qualitative Reasoning Problems
Viaarxiv icon