maintaining-arc-consistency

Here are 7 public repositories matching this topic...

adityagupta1089 / Sudoku-Solver-by-CSP-and-Minisat

Sudoku Solver by constraint satisfaction problem (CSP) using heuristics - Minimum Remaining Value (MRV), Least Common Value (LCV), Maintainin Arc Consistency (MAC). Secondly, by converting to Satisfiability Problem (SAT) and using a sat solver (miniSAT).

constraint-satisfaction-problem sudoku-solver sudoku minisat sat minimum-remaining-values least-common-values maintaining-arc-consistency

Updated May 11, 2017
Java

aravindsomaraj / aiproject-pacman

Star

An Artificial Intelligence Project based on UC Berkeley's Pacman AI course

reinforcement-learning constraint-satisfaction-problem breadth-first-search depth-first-search uniform-cost-search adversarial-learning astar-search-algorithm maintaining-arc-consistency

Updated Nov 14, 2023
Python

angelosps / RLFAP

Star

📡 The Radio Link Frequency Assignment Problem

csp forward-checking maintaining-arc-consistency rlfap fc-cbj

Updated Aug 22, 2021
Python

PetropoulakisPanagiotis / kakuro

Star

kakuro as csp problem

python mac csp berkeley constraint-satisfaction-problem artificial-intelligence constraint-programming kakuro kakuro-solver forward-checking backtracking-algorithm csp-solver fc kakuropuzzle constraint-satisfaction-problems csp-problem maintaining-arc-consistency kakuro-puzzles kakuro-game

Updated Sep 23, 2023
Python

solaimanope / QuasigroupCompletion

Star

Finds a solution for a given partially complete quasigroup (latin square). This code was written as a part of CSE318: Artificial Intelligence Sessional course work.

constraint-satisfaction-problem artificial-intelligence backtracking forward-checking latin-square quasigroup maintaining-arc-consistency