satisfiability-problem

There are 0 repository under satisfiability-problem topic.

seage / seage
SEAGE (Search Agents) is a hyper-heuristic framework for metaheuristic collaboration.
optimization metaheuristics hyperheuristic travelling-salesman-problem satisfiability-problem jobshop-scheduling
Language:Java 9
Amirarsalan-sn / RTI-solved-using-simulated-annealing
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
ai optimization-problem python satisfiability-problem 3-sat satisfiability-solver simulated-annealing simulated-annealing-algorithm random-3-sat boolean-satisfiability-problem
Language:Python 3
pradyumnameena / COL333-Artificial-Intelligence
Collection of assignments given by Prof. Mausam in the COL333 course
artificial-intelligence scheduler greedy-search yinsh bot alpha-beta-pruning satisfiability-problem minisat blackjack markov-decision-processes
Language:C++ 2
aKhfagy / data-structures-algorithms
What I learned from Data Structures and Algorithms Specialization on Coursera.
graph-algorithms network-flow linear-programming np-completeness greedy-algorithms divide-and-conquer dynamic-programming disjoint-sets disjoint-unions hashing-algorithms binary-search-tree minimum-spanning-trees suffix-tree suffix-array burrows-wheeler-transform knuth-morris-pratt eulerian-path de-bruijn-graphs satisfiability-problem
Language:C++ 1
Amirarsalan-sn / RTI-solved-using-genetic-algorithm
solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.
3-satisfiability ai evolutionary-algorithms genetic-algorithm python random-3-sat boolean-satisfiability-problem satisfiability-problem optimization-problem
Language:Python 1
jamestiotio / DigiAlpha
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
cec-verifier sat-solver full-adder adders adder kosaraju-algorithm tarjan-algorithm dpll algorithms algorithm algorithms-and-data-structures hardware-designs satisfiability-solver satisfiability satisfiability-problem implication-graph
Language:C++ 1
ansh25saini / Grover_Algorithm_Project
This project aims at solving a boolean satisfiability problem (dinner problem) using Grover's algorithm. I have made this project as a part of the IITR QCG- Open Summer Project, 2022.
grovers-algorithm matplotlib python qiskit satisfiability-problem
Language:Jupyter Notebook 0
brandimarte / satisfyme
A k-satisfiability solver based on Knuth dancing-links X algorithm.
satisfiability-problem conjunctive-normal-form k-sat k-cnf generalized-cover-problem dancing-links np-complete
Language:C 0
gabrielpereiram10 / allocation
Repositório do projeto da disciplina de Lógica para Computação
propositional-logic dpll-algorithm semantic-tableau satisfiability-problem cnf
Language:Python 0
nata-web / SO_for_SAT
On the use of associative memory in Hopfield networks designed to solve propositional satisfiability problems
hebbian-learning hopfield-network hopfield-neural-network sat-problem satisfiability-problem self-optimization self-organization
Language:Python 0
DACUS1995 / Semantic-Tableaux-Method-for-Propositional-Logic
Propositional logic formulae parser and implementation of Tableaux method for satisfiability proving of propositional logic formulae.
knowledge-representation propositional-logic satisfiability-problem
Language:JavaScript
MarkHershey / SATSolver
Java & Python Implementation of the Boolean Satisfiability Problem Solver
sat-solver satisfiability-problem np-complete
Language:Java
rohankalbag / testing-and-verification
Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay
binary-decision-diagrams c formal-verification minisat satisfiability-problem test-generation advanced-boolean-algebra bddlib podem
Language:C