maintaining-arc-consistency

There are 7 repositories 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).
Language:Java2 3 0
angelosps/RLFAP
📡 The Radio Link Frequency Assignment Problem
Language:Python1 1 00
aravindsomaraj/aiproject-pacman
An Artificial Intelligence Project based on UC Berkeley's Pacman AI course
Language:Python1 2 01
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.
Language:C++0 3 00
Nikos25K/RLFAP
📻📡 The Radio Link Frequency Assignment Problem
Language:Python1 0
panagiotiskon/Time-Tabling-CSP
🗓 Exam Timetabling Problem
Language:Python1 0
PetropoulakisPanagiotis/kakuro
kakuro as csp problem
Language:Python2 0