Pinned Repositories
environnement_unix
t-es-la-aujourdhui
diskgraphtester
Experiment with disk graphs, test conjecture, and draw figures using SCIP
metro
Code for paper https://arxiv.org/abs/1709.05948
mfi
Implementation for the Minimum Fill In Problem (for PACE 2017 https://pacechallenge.org/2017/)
pace22
PACE 2022 Heuristic solver for DFVS
t-es-la-aujourdhui
SteinerTree-PACE-2018-instances
Instances of PACE 2018 https://pacechallenge.org/2018/
apxproof
LaTeX package for automatically putting proof environments in appendix
fsikora's Repositories
fsikora/metro
Code for paper https://arxiv.org/abs/1709.05948
fsikora/pace22
PACE 2022 Heuristic solver for DFVS
fsikora/diskgraphtester
Experiment with disk graphs, test conjecture, and draw figures using SCIP
fsikora/mfi
Implementation for the Minimum Fill In Problem (for PACE 2017 https://pacechallenge.org/2017/)
fsikora/t-es-la-aujourdhui