Software Open Access

HtdSMT - An SMT based solver for hypertree decompositions

Andre Schidler; Stefan Szeider


BibTeX Export

@software{andre_schidler_2019_3236333,
  author       = {Andre Schidler and
                  Stefan Szeider},
  title        = {{HtdSMT - An SMT based solver for hypertree 
                   decompositions}},
  month        = may,
  year         = 2019,
  publisher    = {Zenodo},
  version      = {1.0.0},
  doi          = {10.5281/zenodo.3236333},
  url          = {https://doi.org/10.5281/zenodo.3236333}
}
300
11
views
downloads
All versions This version
Views 300300
Downloads 1111
Data volume 1.3 MB1.3 MB
Unique views 283283
Unique downloads 1111

Share

Cite as