Propositional logic formulae parser and implementation of Tableaux method for satisfiability proving of propositional logic formulae.
-
Updated
Oct 10, 2018 - JavaScript
Propositional logic formulae parser and implementation of Tableaux method for satisfiability proving of propositional logic formulae.
A k-satisfiability solver based on Knuth dancing-links X algorithm.
Collection of assignments given by Prof. Mausam in the COL333 course
What I learned from Data Structures and Algorithms Specialization on Coursera.
Java & Python Implementation of the Boolean Satisfiability Problem Solver
Repositório do projeto da disciplina de Lógica para Computação
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
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.
Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay
SEAGE (Search Agents) is a hyper-heuristic framework for metaheuristic collaboration.
solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.
solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.
On the use of associative memory in Hopfield networks designed to solve propositional satisfiability problems
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."