maintaining-arc-consistency

There are 0 repository under maintaining-arc-consistency 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 least-common-values maintaining-arc-consistency minimum-remaining-values minisat sat sudoku sudoku-solver
Language:Java 2
angelosps / RLFAP
📡 The Radio Link Frequency Assignment Problem
csp fc-cbj forward-checking maintaining-arc-consistency rlfap
Language:Python 1
aravindsomaraj / aiproject-pacman
An Artificial Intelligence Project based on UC Berkeley's Pacman AI course
adversarial-learning astar-search-algorithm breadth-first-search constraint-satisfaction-problem depth-first-search maintaining-arc-consistency reinforcement-learning uniform-cost-search
Language:Python 1
solaimanope / QuasigroupCompletion
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.
artificial-intelligence backtracking forward-checking maintaining-arc-consistency latin-square constraint-satisfaction-problem quasigroup
Language:C++ 0
panagiotiskon / Time-Tabling-CSP
🗓 Exam Timetabling Problem
csp exam-timetabling forward-checking heuristic-algorithm heuristic-search-algorithms maintaining-arc-consistency min-conflicts-algorithm mrv-heuristic python
Language:Python
PetropoulakisPanagiotis / kakuro
kakuro as csp problem
kakuro kakuropuzzle mac fc backtracking-algorithm berkeley python artificial-intelligence kakuro-puzzles kakuro-solver kakuro-game forward-checking constraint-satisfaction-problems csp csp-problem csp-solver maintaining-arc-consistency constraint-programming constraint-satisfaction-problem
Language:Python