activity
20102025
most citedURSA: A System for Uniform Reduction to SAT

19 citations · 53 across the 10 of their papers we have counts for

collaborators
Showing 2025Show all

1 paper · 1 filter

cs.LO2025

A SAT-based Approach for Specification, Analysis, and Justification of Reductions between NP-complete Problems

Predrag Janičić

We propose a novel framework for developing, analyzing, and validating reductions between NP-complete problems. Powered by the SAT-based constraint solver URSA, our methodology int…