Pablo San Segundo psanse

Achievements

Achievements

Highlights

• Pro

Pinned Loading

1. CliSAT CliSAT Public

   An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnitude

   18 3

2. BitGraph BitGraph Public

   Refactoring BITSCAN and GRAPH libraries in modern C++

   C++ 5 3

3. KPCG KPCG Public

   Knapsack with conflicts problem

   Roff 5 2

4. Bfilt Bfilt Public

   Linux release and dataset of instances tested of the new algorithm Bfilt for Binary Constraint Satisfaction Problems. The new algorithm improves over the state-of-the-art approaches.

   MiniZinc 3 1

5. Ramsey-Numbers Ramsey-Numbers Public

   3

6. BITSCAN BITSCAN Public

   C++ library for bit twiddling

   C++ 37 12