backjumping

There are 0 repository under backjumping topic.

VissaMoutafis / RLFAP-Solver
Classic CSP Algorithms to solve RLFAP
python rlfap csp-solver backtracking-search backjumping
Language:Python 5
killer-sudoku-backjumping-solver
Tahmwellrups / killer-sudoku-backjumping-solver
Interactive 4x4 killer sudoku solver implemented using Pygame
backjumping killer-sudoku sudoku sudoku-solver
Language:Python 3
andrpavlou / AI_RLFA
RLFA Problem AIMA Python
aima-python backjumping backtracking bt cbj fc-cbj min min-conflicts radio-link-frequency-assignment rlfa uoa
Language:Python 1
itnef / smtx
My first SMT solver (only QF_UF)
backjumping cdcl cdcl-t cnf congruence-closure diy-smt dpll learning-by-doing logic-programming logical-reasoning qf-uf sat-solver sat-solving satisfiability-modulo-theories smt-solver tseitin-transformation
Language:Haskell 1
xSenzaki / CS321L-M_Artificial_Intelligence_Lab
This repository is a compilation of my activities from the subject course of CS321L-M - Artificial Intelligence Lab.
ai artificial-intelligence backjumping beam-search beam-search-algorithm bfs bfs-algorithm bfs-search killer-sudoku local-search-algorithm minimax-alpha-beta-pruning python wumpus-game wumpus-world
Language:Python 1
2pa4ul2 / Killer-Sudoku
Killer Sudoku Program Using Simulated Annealing, Backtracking, and Backjumping Algorithm
backjumping backtracking-algorithm killer-sudoku simulated-annealing sudoku-solver
Language:Python 0
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.
arc-consistency arc-consistency-algorithm artificial-intelligence backjumping backtracking chronological-backtracking constraint-satisfaction-problem deep-first-search deep-learning depth-first-search informed-search neural-networks
0
zvadaadam / sudoku-solver
Sudoku solved by using Backtracking or Backjumping.
backjumping backtracking sudoku sudoku-solver
Language:Python