Pinned Repositories
Classic-SAT-Solver
Backtracking, watchlist-based, Boolean satisfiability problem solver
Database-Search-with-Qsharp
A Database Search with the Grover-Algorithm in Qsharp
hackerrank
Solution for Hackerrank-Challenges
qiskit_grover
An implementation of Grover's algorithm on qiskit
QSVM
Quantum support vector machine
Quantum-Database-Search
Implementation of Grover's algorithm with IBM-Qiskit
Quantum-SAT-Solver
Quantum Boolean satisfiability problem solver
Quirk
Gate solution for 2-, 3- and 4-SAT problem
simple-sat
Simple recursive and iterative SAT solver written in Python.
SimpleHTR
Handwritten Text Recognition (HTR) system implemented with TensorFlow.
soultanis's Repositories
soultanis/Quantum-SAT-Solver
Quantum Boolean satisfiability problem solver
soultanis/Database-Search-with-Qsharp
A Database Search with the Grover-Algorithm in Qsharp
soultanis/QSVM
Quantum support vector machine
soultanis/hackerrank
Solution for Hackerrank-Challenges
soultanis/Quantum-Database-Search
Implementation of Grover's algorithm with IBM-Qiskit
soultanis/Classic-SAT-Solver
Backtracking, watchlist-based, Boolean satisfiability problem solver
soultanis/qiskit_grover
An implementation of Grover's algorithm on qiskit
soultanis/Quirk
Gate solution for 2-, 3- and 4-SAT problem
soultanis/simple-sat
Simple recursive and iterative SAT solver written in Python.
soultanis/SimpleHTR
Handwritten Text Recognition (HTR) system implemented with TensorFlow.
soultanis/soultanis.github.io