research
∙
01/10/2022
An Exact Algorithm for finding Maximum Induced Matching in Subcubic Graphs
The Maximum Induced Matching problem asks to find the maximum k such tha...
research
∙
01/21/2021
Improved Algorithms for the General Exact Satisfiability Problem
The Exact Satisfiability problem asks if we can find a satisfying assign...
research
∙
10/08/2020
An Improved Exact Algorithm for the Exact Satisfiability Problem
The Exact Satisfiability problem, XSAT, is defined as the problem of fin...
research
∙
07/15/2020
A Faster Exact Algorithm to Count X3SAT Solutions
The Exact Satisfiability problem, XSAT, is defined as the problem of fin...
research
∙
10/03/2019