markus (@hmarkus)
github

hmarkus

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 920,445 (Top 32 %)
  • Followers 10
  • Following 4
  • Registered almost 11 years ago
  • Most used languages
    Python
         75.0 %
    TeX
         25.0 %
  • Location πŸ‡¦πŸ‡Ή Austria
  • Country Total Rank 3,311
  • Country Ranking
    TeX
         44
    Python
         970

Top repositories

1

dp_on_dbs

dp using db tables via postgres
TeX
6
star
2

dynclasp

tool for determining heuristic parameters for clasp following the dynamic programming on tree decomposition paradigm
Python
2
star
3

vc_validate

A tool for validating vertex covers of a given graph
Python
2
star
4

asp2sat

treewidth-aware reduction from asp to sat
Python
1
star