backtracking-search
There are 2 repositories under backtracking-search topic.
- Language:Rust 39
marcelcases / nonlinear-optimization
Nonlinear optimization solving with multiple Python libraries
Language:Python 24advancedresearch / quickbacktrack
Library for back tracking with customizable search for moves
Language:Rust 22Amirhossein-Rajabpour / Constraint-Satisfaction-Problems
Artificial Intelligence Course 3rd Project: Implementing CSP Backtracking, Forward Checking and MAC Algorithms in order to solve a binary puzzle
Language:Python 22AhmadYahya97 / CrosswordsGeneration
Crosswords puzzle generator and publisher using Constraints Satisfaction Problem (CSP) technique. With minimal backtracks.
Language:Java 17biqar / puzzle-solver
This repository contains generic platform for solving and benchmarking computational puzzles using different search strategies
Language:C++ 15ToniRV / Constraint-Satisfaction-Notebook
Example lecture for Constraint Satisfaction Problems in an interactive jupyter notebook. With python code to solve CSPs, with visualization of Sudoku and NQueens problems.
Language:Jupyter Notebook 14bryanlimy / samurai-sudoku-solver
Samurai Sudoku solver in Python
Language:Python 7- Language:Python 7
catseye / Backtracking-Wang-Tiler
MIRROR of https://codeberg.org/catseye/Backtracking-Wang-Tiler : A backtracking algorithm for tiling the plane with Wang tiles
Language:JavaScript 6MartinGurasvili / Sudoku
This is a UI Sudoku Game And Solver that makes use of recursion and backtracking
Language:Python 6Amable-Valdes / Prolog-Mazes
Algorithms to solve small mazes with prolog
Language:Jupyter Notebook 5arminZolfaghari / Constraint-Satisfaction-Problems
Artificial Intelligence Course 3rd Project: Implementing CSP Backtracking, Forward Checking and MAC Algorithms in order to solve a binary puzzle
Language:Python 5donovan-prehn / sudoku
Sudoku CSP Solver using Backtracking Search and Arc-Consistency 3
Language:Python 5rubenandrebarreiro / game-of-thrones-knowledge-base-representation-checker
⚔️ 🛡️ 🐲 A project based in Knowledge Base Representation and Logic Programming. This project was built using Prolog, with the support of SWISH and SWI-Prolog. The project it's a simple application to allow to make checks, verifications and queries, about some informations and data, of the TV Show Series of Game of Thrones, through a knowledge base representation, built with facts, predicates and rules, among many others!
Language:Prolog 5VissaMoutafis / RLFAP-Solver
Classic CSP Algorithms to solve RLFAP
Language:Python 5marcluque / YASER
Yet Another Sat solvER
smtsmt-solversat-solversattheory-solversatisfiabilityformal-verificationsolverdpll-algorithmdpll-solverresolution-proofconflict-resolutioncdcl-algorithmconflict-driven-clause-learningconflict-based-searchfirst-order-logicpropositional-logicpropositional-resolutionsatisfiability-modulo-theoriesbacktracking-searchLanguage:C 4psyclone20 / Android-Pattern-Generator
A Java program that uses DFS to generate all the possible patterns on a traditional 3x3 Android lock screen
Language:Java 4- backtracking
Ajay-Dhangar / backtracking
Backtracking
Language:HTML 3 bala4krish / Winding_down_the_road
Numerical Optimization library implementing Gradient Descent and Newton's method using backtracking line search for finding the minimum.
Language:C++ 3erfanghasemi / sudoku_solver
This project is a sudoku-solver implement by Constraint satisfaction problem. We add the colour option to our sudoku problem as if the number of a place is bigger than other neighbours, the colour of that place must be higher in a given colour's priority. We use the Constraint satisfaction problem(CSP), as we said before, in additional apply degree and MRV heuristic for selecting a variable. After we assigned a value to the selected variable, apply forward-checking to update the domain of variables. If there is a solution for the sudoku problem, we report it; otherwise, the search is unsuccessful, and we have not a solution.
Language:Python 3alpha74 / profitMoviesAPI
API to get maximum movies which an actor can sign without date conflicts using Flask and C++
Language:Python 2arielfayol37 / Crossword
AI that generates crosswords puzzles using Backtracking Search algorithm.
Language:Python 2canbax / sudokuSolver
Implementation of Peter Norvig's sudoku solving and backtracking algorithms in java.
Language:Java 2JuanAArias / Maze-cplusplus
Simple maze solving program with recursive backtracking and exhaustive searching
Language:C++ 2mahdirezaie336 / BinaryPuzzle
A solution to a binary puzzle using CSP algorithms.
Language:Python 2🎓 👨🎓 📚 A project based in Knowledge Base Representation and Logic Programming. This project was built using Prolog, with the support of SWISH and SWI-Prolog. The project it's a simple application to allow to make checks, verifications and queries, about some informations and data, of Faculty of Sciences and Technology of New University of Lisbon, through a knowledge base representation, built with facts, predicates and rules, among many others!
Language:Prolog 2sg2295 / Sudoku-Solver
An agent that can solve Sudoku puzzles, following a backtracking search, using a combination of depth-first search and constraint propagation.
Language:Python 2willprice / prolog-search-visualisation
Web based visualisation of various search algorithms implemented in prolog for teaching
Language:JavaScript 2JeherillaJanwar / n-queens
The shortest way solution to the n-queens question | 8x8 board
Language:HTML 1jgurakuqi / search-based-sudoku-solver
This project aims to show how to solve a given Sudoku in two different ways, through Backtracking (in a flavour of Forward Checking) and Relaxation Labeling.
Language:C++ 1JoenHo / sudoku-solver
Solve Sudoku as a Constraint Satisfaction Problem
Language:Python 1- Language:Java 1
- Language:C++ 1
- Language:Python 1
- Language:JavaScript 1
