gcharwat

Pinned Repositories

dflat
Dynamic Programming Framework with Local Execution of ASP on Tree Decompositions
Language:C++8 4 96
dflat
Dynamic Programming Framework with Local Execution of ASP on Tree Decompositions
Language:C++00
dynqbf
An expansion-based QBF solver for instances of low-to-medium treewidth
Language:C++4 1 10
htd
A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
Language:C++00
dynqbf
An expansion-based QBF solver for instances of low-to-medium treewidth.
Language:C++3 2 10

gcharwat's Repositories

gcharwat/dynqbf
An expansion-based QBF solver for instances of low-to-medium treewidth
Language:C++4 1 10
gcharwat/dflat
Dynamic Programming Framework with Local Execution of ASP on Tree Decompositions
Language:C++00
gcharwat/htd
A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
Language:C++00