Giter VIP home page Giter VIP logo

chriskormaris / 2-sat Goto Github PK

View Code? Open in Web Editor NEW
1.0 2.0 1.0 14 KB

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.

License: MIT License

Python 100.00%
2-sat polynomial-time np-hard python

2-sat's Introduction

Hi there 👋

My name is Christos Kormaris. I am an ordinary guy who loves programming and playing the guitar, blues mostly and catchy tunes.

  • 🔭 I’m currently working on a company called XM, which is a Forex broker. My colleagues are very good.
  • 🌱 I’m currently learning React framework.
  • 💬 Ask me about: Java, Python, Machine Learning, JavaScript, Matlab, C, C++, PHP, MySQL, & Good Music
  • 📫 How to reach me: [email protected]
  • ⚡ Fun fact: I'm always thinking about a song in my head.

My proudest academic project is my master thesis. ResearchGate GitHub Bitbucket

My proudest personal project is my own chess game, which I've developed in Java. GitHub YouTube

You can find YouTube video demos for my programming projects here:

https://www.youtube.com/playlist?list=PLV08zt7F7NIhGfG5zGpFeDOvR30Mi6nM2

You can download all my packaged java .jar games here:

https://drive.google.com/drive/folders/1OwbpffINPk-NaCsghC218fu4QNBwT4VK?usp=share_link

For more information about me, please visit my personal website: www.chriskormaris.gr

2-sat's People

Contributors

chriskormaris avatar

Stargazers

avatar

Watchers

avatar avatar

Forkers

vamshi900

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.