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 10 5

3. Knowledge-Compilers Knowledge-Compilers Public

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

   Python 6

4. Semantic-Segmentation Semantic-Segmentation Public

   Semantic Segmentation task with TensorFlow and Keras

   Jupyter Notebook 1

5. Deep-Learning-for-Audio Deep-Learning-for-Audio Public

   Audio Classification & Sound Event Detection in Pytorch

   Jupyter Notebook 5

6. orienteering-cpp orienteering-cpp Public

   A re-implementation of all orienteering solvers studied in my thesis

   C++