Pinned Repositories
toc-nov-16
TOKI Open Contest November 2016
htd_validate
Checker for hypertree decompositions
Jdrasil
A Modular Library for Computing Tree Decompositions
os171
training-gate-id
Materi TLX Training Gate, dalam Bahasa Indonesia.
vc_validate
A tool for validating vertex covers of a given graph
htd_validate
Checker for hypertree decompositions
vc_validate
A tool for validating vertex covers of a given graph
osn-2018
OSN 2018 Bidang Informatika
training-gate-id
Materi TLX Training Gate, dalam Bahasa Indonesia
azure97's Repositories
azure97/htd_validate
Checker for hypertree decompositions
azure97/Jdrasil
A Modular Library for Computing Tree Decompositions
azure97/os171
azure97/training-gate-id
Materi TLX Training Gate, dalam Bahasa Indonesia.
azure97/vc_validate
A tool for validating vertex covers of a given graph