SEAGE (Search Agents) is a hyper-heuristic framework for metaheuristic collaboration.

Bottom-up sentential decision diagram compiler.

solving Random 3-SAT(Boolean satisfiability problem) using simulated annealing.

Collection of assignments given by Prof. Mausam in the COL333 course

Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver

solving Random 3-SAT(Boolean satisfiability problem) using Evolutionary algorithms like genetic algorithm.

What I learned from Data Structures and Algorithms Specialization on Coursera.

Testing and Verification of VLSI Circuits - Spring Semester 2023 - Indian Institute of Technology Bombay

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

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

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.

Investigation of the data-driven satisfiability transition in the linear classification of structured data