GitHub topics: and-or-search
teodutu/IA
Inteligenta Artificiala - UPB 2020-2021
Language: Jupyter Notebook - Size: 20.6 MB - Last synced at: 28 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0
whitemech/cynthia
SDD-based Forward LTLf Synthesis
Language: C++ - Size: 460 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
Related Keywords
and-or-search
2
branch-and-bound
1
constraint-satisfaction-problem
1
iterative-deepening-a-star
1
learning-realtime-astar
1
monte-carlo-tree-search
1
unification-algorithm
1
and-or-graphs
1
cpp
1
finite-synthesis
1
linear-temporal-logic
1
sdd
1
sentential-decision-diagram
1
temporal-logics-on-finite-traces
1