Search papers, labs, and topics across Lattice.
1
0
3
Forget A* search for conformance checking on long, deviating traces – a totally unimodular linear program offers substantial speedups.