Picture for Leif Eriksson

Leif Eriksson

Solving Quantified Boolean Formulas with Few Existential Variables

Add code
May 10, 2024
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

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

Add code
May 25, 2023
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