Software Open Access

HtdSMT - An SMT based solver for hypertree decompositions

Andre Schidler; Stefan Szeider


JSON-LD (schema.org) Export

{
  "description": "<p>A solver for hypertree decompositions that was created for PACE 2019 (https://pacechallenge.org/2019/)</p>\n\n<p>Our solver creates an SMT encoding that is then solved by an SMT solver. We use optimathsat, but it can easily be adapted to any solver.</p>\n\n<p>&nbsp;</p>", 
  "license": "https://opensource.org/licenses/GPL-3.0", 
  "creator": [
    {
      "affiliation": "TU Dresden", 
      "@type": "Person", 
      "name": "Andre Schidler"
    }, 
    {
      "affiliation": "TU Vienna", 
      "@type": "Person", 
      "name": "Stefan Szeider"
    }
  ], 
  "url": "https://zenodo.org/record/3236333", 
  "datePublished": "2019-05-06", 
  "version": "1.0.0", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3236333", 
  "@id": "https://doi.org/10.5281/zenodo.3236333", 
  "@type": "SoftwareSourceCode", 
  "name": "HtdSMT - An SMT based solver for hypertree decompositions"
}
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