26 skills found
mxgmn / MarkovJuniorProbabilistic language based on pattern matching and constraint propagation, 153 examples
Gecode / GecodeGeneric Constraint Development Environment
alreich / QualreasQualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.
baurst / Sudoku Solver⏱️ A fast sudoku solver using constraint propagation in combination with backtracking.
radevgit / SelenConstraint Satisfaction Problem (CSP) Solver
KaidiXu / Beta CROWNβ-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
GeEom / GreedytileRandom greedy pixel pattern generation algorithm
neolee / Sudoku NorvigSudoku solvers in Python, Clojure, Haskell, Ruby, etc. Based on Peter Norvig's constraint propagation and search algorithm.
kiankhaneghahi / Flexible Joint Manipulator Observer In The Form Of A Stable Neural NetworkIn this project, an observer in the form of a stable neural network is proposed for any nonlinear MIMO system. As a result of experience, this observer utilizes a nonlinear in parameter neural network (NLPNN) which unlike LPNN, supports systems with higher degree of nonlinearity with no pre-knowledge of its dynamics. The learning rule for this neural network is based on the back-propagation method with a small modification. In addition, in order to guarantee the robustness of the observer, an e-modification term is added. Also, it is noted that there are no hard constraints like SPR on this method. Subsequently, the stability of this neural network observer is guaranteed by Lyapunov's direct method. At the end, the simulation results for a flexible-joint manipulator with this observer is demonstrated.
amolgm / UFLDL SparseAutoencoderAn unsupervised learning algorithm that applies back propagation, setting the target values to be equal to the inputs. Also, we impose a sparsity constraint on the hidden units, then the autoencoder will still discover interesting structure in the data, even if the number of hidden units is large.
Gogireddyravikiran / Static Timing AnalysisStatic timing analysis (STA) is a method of validating the timing performance of a design by checking all possible paths for timing violations. STA breaks a design down into timing paths, calculates the signal propagation delay along each path, and checks for violations of timing constraints inside the design and at the input/output interface.
diegoalejogm / AI NanodegreeProject solutions for Udacity's AI Nanodegree Program
miguelespinoza / GokuSodoku solver in Go. Based on Peter Norvig's constraint propagation and search algorithm.
huaminghuangtw / Parallel Sudoku Solver🔢 A parallelized Sudoku solver implemented with various solving algorithms in C++
nikhilranjan7 / Sudoku SolverAI that will solve sudoku based on search and constraint propagation techniques made as a part Udacity AI Course
huwlloyd-mmu / Sudoku AcsAnt-colony optimization with constraint propagation for the Sudoku problem
MansourZarrin / Flexible Job Shop Scheduling Problem Constraint ProgrammingThe flexible job shop scheduling problem optimizes task allocation to minimize makespan in manufacturing, posing complex constraints. CP solvers excel via constraint propagation and systematic search, adept at intricate combinatorial problems with discrete variables and diverse constraints.
rafi007akhtar / SudokuSolverMy footsteps into Artificial Intelligence as I make this Sudoku Solver while learning AI online for the first time.
oxoo2a / SudokuSolverTCPA distributed Sudoko solver via constraint propagation over TCP
sungyoon-lee / Bcp[NeurIPS 2020] Lipschitz-Certifiable Training with a Tight Outer Bound | BCP (Box Constraint Propagation) | ⚡💪🛡️