Software Open Access

HtdSMT - An SMT based solver for hypertree decompositions

Andre Schidler; Stefan Szeider


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.3236333", 
  "title": "HtdSMT - An SMT based solver for hypertree decompositions", 
  "issued": {
    "date-parts": [
      [
        2019, 
        5, 
        6
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Andre Schidler"
    }, 
    {
      "family": "Stefan Szeider"
    }
  ], 
  "version": "1.0.0", 
  "type": "article", 
  "id": "3236333"
}
299
11
views
downloads
All versions This version
Views 299299
Downloads 1111
Data volume 1.3 MB1.3 MB
Unique views 282282
Unique downloads 1111

Share

Cite as