#

symbolic-search

Here are 4 public repositories matching this topic...

symk

speckdavid / symk

Symk is a state-of-the-art classical optimal and top-k planner.

ai planning classical-planning aiplanning symbolic-search

Updated Aug 24, 2026
C

markus7800 / Connect4-Strong-Solver

C implementation to symbolically solve Connect4 game for given board size with binary decision diagrams.

solution connect-four binary-decision-diagrams connect4 symbolic-search

Updated Aug 14, 2026
C

speckdavid / symbolic-osp

Sym-Osp is a state-of-the-art optimal oversubscription planner based on symbolic search.

ai planning aiplanning symbolic-search

Updated Apr 26, 2023
C

YaronMozes / slbd-symbolic-search-research

Constraint-aware BDD variable ordering in symbolic optimal planning: a pre-registered per-domain improvement to SymK (+6 coverage, 1.55x on woodworking), a bounded suite-wide null, and its mechanism. Technion course project.

bdd classical-planning automated-planning fast-downward symbolic-search

Updated Aug 14, 2026
C

Add this topic to your repo

To associate your repository with the symbolic-search topic, visit your repo's landing page and select "manage topics."