conftrace_

partially ordered time

1 paper

Explore in graph

Also known as

POT

Co-occurring keywords · papers mentioning both

network consistency (1) point algebra (1) fine-grained complexity (1) temporal reasoning (1)

Papers

A Fast Algorithm for Consistency Checking Partially Ordered Time IJCAI 2023