Classic CSP Algorithms to solve RLFAP
-
Updated
Feb 20, 2021 - Python
#
backjumping
Here are 8 public repositories matching this topic...
Interactive 4x4 killer sudoku solver implemented using Pygame
-
Updated
May 9, 2024 - Python
My first SMT solver (only QF_UF)
satisfiability-modulo-theories logic-programming cnf learning-by-doing sat-solver smt-solver dpll tseitin-transformation cdcl logical-reasoning congruence-closure backjumping cdcl-t sat-solving qf-uf diy-smt
-
Updated
Jul 8, 2020 - Haskell
This repository is a compilation of my activities from the subject course of CS321L-M - Artificial Intelligence Lab.
python ai artificial-intelligence beam-search bfs bfs-algorithm wumpus-game killer-sudoku backjumping bfs-search minimax-alpha-beta-pruning beam-search-algorithm local-search-algorithm wumpus-world
-
Updated
Apr 29, 2024 - Python
RLFA Problem AIMA Python
backtracking min bt rlfa uoa aima-python backjumping min-conflicts cbj fc-cbj radio-link-frequency-assignment
-
Updated
Oct 4, 2024 - Python
Killer Sudoku Program Using Simulated Annealing, Backtracking, and Backjumping Algorithm
-
Updated
May 10, 2024 - Python
Assignments given during the course Informed Search Methods in AI in Reykjavik University, during the Double Degree study period.
deep-learning constraint-satisfaction-problem artificial-intelligence backtracking neural-networks depth-first-search deep-first-search arc-consistency informed-search backjumping chronological-backtracking arc-consistency-algorithm
-
Updated
Nov 6, 2023
Sudoku solved by using Backtracking or Backjumping.
-
Updated
Jan 2, 2019 - Python
Improve this page
Add a description, image, and links to the backjumping topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the backjumping topic, visit your repo's landing page and select "manage topics."