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 8 4

3. Knowledge-Compilers Knowledge-Compilers Public

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

   Python 6

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