Repositório do projeto da disciplina de Lógica para Computação
-
Updated
Mar 29, 2021 - Python
Repositório do projeto da disciplina de Lógica para Computação
On the use of associative memory in Hopfield networks designed to solve propositional satisfiability problems
Propositional logic formulae parser and implementation of Tableaux method for satisfiability proving of propositional logic formulae.
Java & Python Implementation of the Boolean Satisfiability Problem Solver
Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay
A k-satisfiability solver based on Knuth dancing-links X algorithm.
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.
What I learned from Data Structures and Algorithms Specialization on Coursera.
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.
Collection of assignments given by Prof. Mausam in the COL333 course
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
SEAGE (Search Agents) is a hyper-heuristic framework for metaheuristic collaboration.
Add a description, image, and links to the satisfiability-problem topic page so that developers can more easily learn about it.
To associate your repository with the satisfiability-problem topic, visit your repo's landing page and select "manage topics."