Pinned Loading

1. pace2023-tinywidth pace2023-tinywidth Public

   A twin-width solver for the PACE 2023 competition - Exact Track

   C++ 2

2. DreyFVS DreyFVS Public

   Forked from Nanored4498/DreyFVS

   A submission for the Heuristic Track of PACE 2022

   C++

3. pace_2021_mu_solver pace_2021_mu_solver Public

   Efficient heuristic solver for the Cluster Editing problem

   C++ 1

4. sat-nand-lbounds sat-nand-lbounds Public

   Find the optimal quantifier-trading proofs for formula lower bounds for SAT !

   TeX