Pinned Repositories
backup
benchmarkGenerator
CG
dynaMIS-1
Dynamic Vienna Maximum/maximal Independent Set Solver
exiv2
Image metadata library and tools
fifo_map
a FIFO-ordered associative container for C++
gP
gpl
GPLsat
Hypergraph partion based local search of SAT problem
QGIS
QGIS is a free, open source, cross platform (lin/win/mac) geographical information system (GIS)
dorisli2017's Repositories
dorisli2017/backup
dorisli2017/benchmarkGenerator
dorisli2017/CG
dorisli2017/dynaMIS-1
Dynamic Vienna Maximum/maximal Independent Set Solver
dorisli2017/exiv2
Image metadata library and tools
dorisli2017/fifo_map
a FIFO-ordered associative container for C++
dorisli2017/gP
dorisli2017/gpl
dorisli2017/GPLsat
Hypergraph partion based local search of SAT problem
dorisli2017/QGIS
QGIS is a free, open source, cross platform (lin/win/mac) geographical information system (GIS)
dorisli2017/Hilabeling
QGIS interactive labeling integration
dorisli2017/lawa
lawa: lazy walksat, local search SAT solver
dorisli2017/localSAT
dorisli2017/Master
dorisli2017/Masterproject
dorisli2017/NN2017
dorisli2017/NNPraktikum
dorisli2017/patrickandfrantonarethebestninjas
dorisli2017/plotGenerator
python scripts for plots generation
dorisli2017/plSAT
dorisli2017/PointExactor
dorisli2017/RandomSats
dorisli2017/RESULTS
dorisli2017/RUST
dorisli2017/socgRESULTS
dorisli2017/testFiles
dorisli2017/testJeykll
Learn how to set up customized Jeykll site
dorisli2017/tour4me
A framework for straightforward integration of algorithms that solve the Touring Problem
dorisli2017/twitcurl
twitcurl is a pure C++ library for twitter APIs.
dorisli2017/vutinfth
TU Wien, Informatik LaTeX Template