Classic CSP Algorithms to solve RLFAP
-
Updated
Feb 20, 2021 - Python
#
backjumping
Here are 9 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
Solucionador de Sudokus de dificultad extrema usando Python.
-
Updated
Nov 8, 2024 - 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."