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.

A Sudoku solver

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