hmarkus/dp_on_dbs

Stars
6
Rank 2,533,907 (Top 50 %)
Language
TeX
Created over 5 years ago
Updated 11 months ago

hmarkus/dp_on_dbs

hmarkus

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

dp using db tables via postgres

dynclasp

tool for determining heuristic parameters for clasp following the dynamic programming on tree decomposition paradigm

vc_validate

A tool for validating vertex covers of a given graph

asp2sat

treewidth-aware reduction from asp to sat