sat-problem

There are 7 repositories under sat-problem topic.

  • ajzenhamernikola/Master-Thesis

    SAT solvers' running time prediction using graph neural networks

    Language:Python0100

  • nata-web/SO_for_SAT

    On the use of associative memory in Hopfield networks designed to solve propositional satisfiability problems

    Language:Python0100

  • VanDulti/planning-problem-solver

    This is a simple planning problem solver that encodes a bounded planning problem as propositional logic and uses https://fmv.jku.at/limboole/ to solve it. I did this for my formal models class.

    Language:C#0100

  • lamnguyen5464/8-Queens-by-SAT

    Language:Python10

  • luis6156/Gigel-and-the-Mafia

    Reduced NP‑Hard problems such as K‑Colorability, K‑clique, Maximum clique to SAT problem using Weighted Partial Max‑SAT Input format,created using boolean formulas, in order to find a satisfying interpretation. Families are represented as vertices of a graph.

    Language:Java

  • OmarZOS/Gap_Puzzle

    Gap puzzle generator and solver using C++ and Cadical

    Language:C++10

  • robinsonvs/tcc-information-systems

    This repository gathers the material of my course conclusion work (TCC) at Unisinos - theme of the work: Quantum Computing - Analysis of Quantum Algorithms for Solving the SAT Problem in the NISQ Era

    Language:Jupyter Notebook11