Generic Constraint Development Environment
-
Updated
Mar 27, 2024 - C++
Generic Constraint Development Environment
The goal of the project is to improve a kaggle project about Dog Breed Classification, achieving an higher test accuracy. The original project achieved 79% of accuracy on the test set, while this one goes up to 87%. Also further improvements were made to the data processing pipeline in terms of modularity and performance.
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.
SAT formula builder with constraint dependency tracking written in Java
Sequantial C++ (CPU), and a CUDA (GPU) implementation of Domain Propagation for Mixed-Integer Programming problems
Analysis of the Sudoku Game using Constraint Propagation with Back Tracking and Relaxation Labelling
Playground for Artificial intelligence projects and exercises I come across.
🔢 A parallelized Sudoku solver implemented with various solving algorithms in C++.
First assignment of Artificial Intelligence course held by Professor Andrea Torsello of Ca' Foscari University of Venice used relaxation labelling and constraint propagation techniques
I made this as a minor project in the second semester of my MSc IT.
Algebras for qualitative reasoning about time, space, etc.
Implementation of Peter Norvig's sudoku solving and backtracking algorithms in java.
CP and SMT model to solve the Present Wrapping Problem (PWP): given a wrapping paper roll of a certain dimen- sion and a list of presents, decide how to cut off pieces of paper so that all the presents can be wrapped. Consider that each present is described by the dimensions of the piece of paper needed to wrap it. Moreover, each necessary piece…
My solution of Udacity AI nanodegree project1 Sudoku Solver
Sudoku solver using the AI artificial intelligence concepts constraint propagation and depth-first search.
A script that helps to solve a sudoku on sudoku.com
Create an AI agent to solve Sodoku by implementing constraint propagation
Sudoku solver by using AI approaches
Sudoku Solver using C# and constraint programming
Add a description, image, and links to the constraint-propagation topic page so that developers can more easily learn about it.
To associate your repository with the constraint-propagation topic, visit your repo's landing page and select "manage topics."