Eriksson, Leif

1. A Fast Algorithm for Consistency Checking Partially Ordered Time
   2023/05/25 by Eriksson, Leif, Lagerkvist, Victor · 1 citation
   #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences
2. Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning
   2023/05/25 by Leif A. Eriksson, Eriksson, Leif, Victor Lagerkvist +1 · 1 citation
   Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge