research
∙
05/08/2019
Finding Optimal Longest Paths by Dynamic Programming in Parallel
We propose an exact algorithm for solving the longest simple path proble...
share
research
∙
02/12/2018
Unbounded Software Model Checking with Incremental SAT-Solving
This paper describes a novel unbounded software model checking approach ...
research
∙
04/13/2016
