belzebuu
Associate Professor at the Department of Mathematics and Computer Science
University of Southern DenmarkOdense, Denmark
Pinned Repositories
coloring-verifier
A small program that verifies solutions to graph coloring problems in DIMACS format
GroupFormation
Method for grouping students presented in the LAK 2021 paper.
LanguageStudy
Investigation on simulation of object properties in a native or second language
MaCCS-BC
Maximum Coverage Connected Subgraph by Branch and Cut for driver pathways analysis
ProjectAssignment
PyRL
Henrik Sejer Pedersen
xeus-cling
xtensor
Multi-dimensional arrays with broadcasting and lazy computing
TSP
Material
belzebuu's Repositories
belzebuu/GroupFormation
Method for grouping students presented in the LAK 2021 paper.
belzebuu/LanguageStudy
Investigation on simulation of object properties in a native or second language
belzebuu/coloring-verifier
A small program that verifies solutions to graph coloring problems in DIMACS format
belzebuu/MaCCS-BC
Maximum Coverage Connected Subgraph by Branch and Cut for driver pathways analysis
belzebuu/ProjectAssignment
belzebuu/PyRL
Henrik Sejer Pedersen
belzebuu/xeus-cling
belzebuu/xtensor
Multi-dimensional arrays with broadcasting and lazy computing