#

and-or-search

Here are 3 public repositories matching this topic...

whitemech / cynthia

SDD-based Forward LTLf Synthesis

cpp linear-temporal-logic sdd and-or-graphs and-or-search sentential-decision-diagram finite-synthesis temporal-logics-on-finite-traces

Updated Jan 15, 2023
C++

AnaLuizanc / Cpp_Project_CinemaDatabase

Implementação de ordenação e filtro em uma base de dados de filmes e cinemas.

database mergesort sorting-algorithms heapsort filtering and-or-search movies-and-cinemas

Updated Aug 14, 2024
C++

teodutu / IA

Inteligenta Artificiala - UPB 2020-2021

constraint-satisfaction-problem monte-carlo-tree-search branch-and-bound iterative-deepening-a-star unification-algorithm and-or-search learning-realtime-astar

Updated Jan 26, 2021
Jupyter Notebook

Improve this page

Add a description, image, and links to the and-or-search topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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