Skip to content
Solver for computing Hypertree Decompositions with heuristics for PACE 2019
C++ Makefile
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
BalKDecomp.cpp
BalKDecomp.h
BaseSeparator.cpp
BaseSeparator.h
CombinationIterator.cpp
CombinationIterator.h
Decomp.cpp
Decomp.h
DecompComponent.cpp
DecompComponent.h
DetKDecomp.cpp
DetKDecomp.h
DetKDecompMain.cpp
Globals.cpp
Globals.h
Hyperedge.cpp
Hyperedge.h
Hypergraph.cpp
Hypergraph.h
Hypertree.cpp
Hypertree.h
INSTALL.md
LICENSE
Makefile
NamedEntity.h
PACEParser.cpp
PACEParser.h
Parser.cpp
Parser.h
README.md
Separator.cpp
Separator.h
SetCover.cpp
SetCover.h
SubedgeSeparatorFactory.cpp
SubedgeSeparatorFactory.h
Subedges.cpp
Subedges.h
Superedge.cpp
Superedge.h
Vertex.cpp
Vertex.h
VertexSeparator.cpp
VertexSeparator.h

README.md

pace-2019-HD-Heuristic

Solver for computing Hypertree Decompositions with heuristics for PACE 2019

You can’t perform that action at this time.