[ICLR 2025] UniCO: On Unified Combinatorial Optimization via Problem Reduction to Matrix-Encoded General TSP

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.

Comparative benchmark of SMT solver effectiveness in cryptographic hash collision discovery for SHA-2 algorithms.

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.

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

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

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

A k-satisfiability solver based on Knuth dancing-links X algorithm.

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

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