GitHub repository: yuemning/dc-bucket-elim
Primary language: Python
Created: 2020-03-22T16:15:45Z
Description: Bucket Elimination Algorithm for STNU Dynamic Controllability Checking