safwankdb/SAT-Solver-using-DPLL

Stars
6
Rank 2,539,965 (Top 51 %)
Language
Python
Created almost 5 years ago
Updated 10 months ago

safwankdb/SAT-Solver-using-DPLL

safwankdb

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Python Implemetation of DPLL algorithm to solve Boolean Satisfiability problem

ReCoNet-PyTorch

Realtime Coherent Style Transfer for Videos

Machine-Learning-Project-Ideas

Vanilla-GAN

PyTorch implementation of Generative Adversarial Networks by Ian Goodfellow et al. on the MNIST dataset.

Jupyter Notebook

Deep-Image-Prior

PyTorch implementation of the CVPR 2018 paper Deep Image Prior by Dmitry Ulyanov et. al.

Jupyter Notebook

Effectual-Palm-RoI-Extraction

Python implementation of the Palmprint RoI extraction algorithm from 'An Effectual Method for Extraction of ROI of Palmprints'

Jupyter Notebook

petyr

Affine Tranformation and Homography library for Python

ResNet34-TF2

This is an implementation of ResNet-34 in TensorFlow2.0 using the Imperative API (subclassing tensorflow.keras.Model)

Automated-measurement-of-Fetal-head-circumference

To design an algorithm that can automatically measure the fetal head circumference given a 2D ultrasound image.

Jupyter Notebook

Neural-Style-Transfer

PyTorch implementation of A Neural Algorithm of Artistic Style

Jupyter Notebook

Mean-Shift-Segmentation

Basic implementation of Mean Shift Algorithm for segmentation

Jupyter Notebook

Wasserstein-GAN

PyTorch implementation of Wasserstein GAN paper.

Jupyter Notebook

WnCC-Competitive-Coding

Resources for Competitive Coding Sessions by Web and Coding Club, IIT Bombay

Variational-Auto-Encoder

PyTorch implementation of Variational Auto-Encoder

Jupyter Notebook

Chords-and-Beats-Extraction-using-ML

This is team Bantai Log's project under Institute Technical Summer Project IIT Bombay. The team aims to build a robust Classifier using Machine Learning Algorithms to detect chords and beats in MP3 files.

Inverse-Compositional-KLT-Tracker

Python implementation of Inverse Compositional Kanade-Lucas-Tomasi Tracking Algorithm.

Semester-4-Academics

EE337-Microprocessors-Lab

Repository for home/labwork of EE337, IITB

EverydayPython

Lazy Python Scripts for menial tasks

KalmanFilter

A naive implementation of Klaman FIlter for single variable in a python class

Coin-Exchange-Game

Simple python implementation to show energy exchange between carriers.

CTCI-Python

Python3 solutions to the questions in the famous book: Cracking the Coding Interview