thtran97

Trong-Hieu TRAN's repositories

Implementation of local search-based algorithms for solving SAT and Max-SAT in Python

Language:Python12 2 1

Implementation of basic CDCL-based SAT solver in Python

Language:Python7 20

A Python (re-)implementation of some known knowledge compilers

Language:Python7 20

Audio Classification & Sound Event Detection in Pytorch

Language:Jupyter Notebook5 2 6

Semantic Segmentation task with TensorFlow and Keras

Language:Jupyter Notebook1 10

INSA 4IR - A project in combinatorial optimization problem

Language:Jupyter Notebook1 10

INSA - 5 SDBD - EDA en R

Language:HTML020

INSA 4IR - JAVA Project - Clavadarge System

Language:Java02 1

INSA 4IR- OCaml Project - Graph & Constraint Programming

Language:OCaml010

INSA 4IR - System Information Project

Language:VHDL010

INSA - 5SDBD - TP Apprentissage

Language:Jupyter Notebook000

INSA 4IR - Hardware Architecture Project

Language:C010

INSA 4IR - Projet de controle du robot en temps reel, basee sur le codesource de INSA-GEI

Language:HTMLGPL-3.0000

INSA 3MIC - Graph & Algorithm Project

Language:Java020

INSA 4IR TP - UF Informatique matérielle : microcontrôllers

Language:C000