backjumping

There are 8 repositories under backjumping topic.

VissaMoutafis/RLFAP-Solver
Classic CSP Algorithms to solve RLFAP
Language:Python5 1 00
Tahmwellrups/killer-sudoku-backjumping-solver
Interactive 4x4 killer sudoku solver implemented using Pygame
Language:Python3 1 00
andrpavlou/AI_RLFA
RLFA Problem AIMA Python
Language:Python1 1 01
itnef/smtx
My first SMT solver (only QF_UF)
Language:Haskell1 2 00
xSenzaki/CS321L-M_Artificial_Intelligence_Lab
This repository is a compilation of my activities from the subject course of CS321L-M - Artificial Intelligence Lab.
Language:Python1 1 00
2pa4ul2/Killer-Sudoku
Killer Sudoku Program Using Simulated Annealing, Backtracking, and Backjumping Algorithm
Language:Python0 1 10
damiano00/T_768_SMAI_Informed_Search_Methods_in_AI
Assignments given during the course Informed Search Methods in AI in Reykjavik University, during the Double Degree study period.
0 1 00
zvadaadam/sudoku-solver
Sudoku solved by using Backtracking or Backjumping.
Language:Python1 1