chriskormaris/2-SAT chriskormaris/2-SAT

  • Stars
    star
    1
  • Language
    Python
  • License
    MIT License
  • Created over 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
chriskormaris/2-SAT
github

chriskormaris

Reviews

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

Repository Details

This is an algorithm that given a Boolean formula with n=3 distinct variables and 2 variables per clause (2-Satisfiability), determines the values of the variables that result in the formula being TRUE, or determines that there is no solution and the formula is never TRUE. Written in Python.

More Repositories

1

Connect4

A game known as Connect4, Score4, 4-in-a-line or 4-in-a-row. Modes: Human Vs AI, Human Vs Human, AI Vs AI. Written in Java.
Java
20
star
2

MyChessGame

A traditional Chess game implementation in Java Swing, using Minimax AI. Β© Created by: Christos Kormaris, Athens 2020
Java
9
star
3

NaiveBayesClassifierInPython

A manual Naive Bayes Classifier for classifying spam and ham emails. Written in Python.
Python
3
star
4

NLJ-SMJ

Implementation of two join algorithms, Nested Loop Join (NLJ) and Sort Merge Join (SMJ). Written in Java.
Java
1
star
5

PyxidaAuebScraper

A web scrapper tool to easily extract links from the AUEB Pyxida Institutional Repository. The urls extracted contain MSc and PhD theses, in ".pdf" format, from all the departments of AUEB.
Python
1
star
6

TSP

TSP (Travelling Salesman Problem) plot in Java. It runs the TSP brute-force algorithm and draws the cycle of minimum distance among cities of random or fixed coordinates.
Java
1
star
7

NaiveBayesClassifierInMatlab

A custom Naive Bayes (NB) Classifier for classifying spam and ham text files. Written in Matlab. You should also check my NB classifier in Python.
MATLAB
1
star
8

vae-master-thesis

My postgraduate dissertation that I've done while studying Computer Science at Athens University of Economics & Business. Title: Variational Autoencoders & Applications Student: Christos Kormaris Supervisor Professor: Michalis Titsias Date: May 2018
Python
1
star
9

MobyChord

An implementation of Chord P2P protocol for mobile Android devices! Every mobile device is called a node and is both a client and a server. The aim is to request map routes from the closest node.
Java
1
star