Popular repositories Loading

1. MetaVC MetaVC Public

   Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)

   C++ 10 1

2. NuSC-Algorithm NuSC-Algorithm Public

   This repository includes the implementation of the NuSC algorithm and the testing benchmarks.

   C++ 10 4

3. PbO-CCSAT PbO-CCSAT Public

   PbO-CCSAT is a highly configurable stochastic local search solver for solving propositional satisfiability (SAT).

   C++ 7

4. LS-Sampling LS-Sampling Public

   LS-Sampling is an effective local search based sampling approach for solving the t-wise coverage maximum (t-wise CovMax) problem.

   C++ 5

5. SamplingCA SamplingCA Public

   SamplingCA: Effective and Efficient Sampling-based Pairwise Testing for Highly Configurable Software Systems

   C++ 5

6. EffectiveQM EffectiveQM Public

   OpenQASM 4 1