Pinned Repositories
mariusmoldovan's Repositories
mariusmoldovan/dflat
Dynamic Programming Framework with Local Execution of ASP on Tree Decompositions
mariusmoldovan/htd
A small but efficient C++ library for computing (customized) tree and hypertree decompositions.