Skip to content
View thtran97's full-sized avatar
  • TOULOUSE, FRANCE

Highlights

  • Pro

Block or report thtran97

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. Local-Search-for-SAT Local-Search-for-SAT Public

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

    Python 13 3

  2. CDCL-based-SAT-Solver CDCL-based-SAT-Solver Public

    Implementation of basic CDCL-based SAT solver in Python

    Python 7 4

  3. Knowledge-Compilers Knowledge-Compilers Public

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

    Python 7

  4. Wildfire-Evacuation-Problem Wildfire-Evacuation-Problem Public

    INSA 4IR - A project in combinatorial optimization problem

    Jupyter Notebook 1

  5. Semantic-Segmentation Semantic-Segmentation Public

    Semantic Segmentation task with TensorFlow and Keras

    Jupyter Notebook 1

  6. Deep-Learning-for-Audio Deep-Learning-for-Audio Public

    Audio Classification & Sound Event Detection in Pytorch

    Jupyter Notebook 5