iman2693/SAT-Solver

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Python
Created about 4 years ago
Updated over 1 year ago

iman2693/SAT-Solver

iman2693

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

This project is a way to find satisfiability of logical propositions .

GDSM

A repository for the project of brain age estimation

CTCB

This is the repository for the CTCB project

Jupyter Notebook

CVPAGE

This is My CV Page

LDA_implementation

LDA implementation for machine learning course. LDA is used for dimensionality reduction and classification

Text-Classification-BERT

Text Classification using BERT on a Persian dataset called Persica

Jupyter Notebook

Text-Classification-SVD-LSA

Text Classification on the PERSICA dataset with SVD (LSA) and different classical classification methods such as SVM and Naïve Bayes

Jupyter Notebook

8-Puzzle

8-Puzzle Solver with DFS , BFS , IDS , UCS , A* , IDA* , Bidirectional A* strategies With Linear Conflict Hiruestic Function

iman2693

ML-UTCS-2021

Machine Learning Assignments - University of Tehran - Fall 2021 to Winter 2022

Jupyter Notebook

Python-Lexical-Analyser

Python Lexical Analyser with written by flex

Multivariable-Regression

This was one of our assignments for machine learning course at the University of Tehran

Jupyter Notebook

Perceptron-Linear-Classification

This is one of our assignments for machine learning course at the University of Tehran. A two class classification was implemented by python from scratch

Jupyter Notebook

AI14001

Grid-World-Game-MDP-Value-Iteration

Grid World Game with Value Iteration method (MDP)

Calculator-BTree

A Calculator with BTree and all tree traversals(Inorder, Preorder and Postorder)

POS-Tagging-BERT

Part of Speech Tagging for persian dataset using ParsBert and Multilingual BERT

Jupyter Notebook

Alphabet-Sequence-Classification-HMM

Alphabet Sequence Classification Using HMM models (5 Models)

demowebisites

This repository is a demo for some web rtl works

Service-Provider

Service-Provider Project For advance programming course . this project written by jdk8 and javafx.

POSTagging-Viterbi

POS Tagging on a Persian dataset with HMM (Viterbi Algorithm)

Jupyter Notebook

CPU-Schedular

Cpu schedular Simulator program with FCFS , LCFS , RR , SJF and SRTF strategies using python and matplotlib

Covid19-Iran-simulation-montecarlo

Covid19 infection Simulation with MonteCarlo at Iran

Advanced-Computational-Theory

Two Sipser's project in Python (Universal Program & Decoder)