Software Open Access

HtdSMT - An SMT based solver for hypertree decompositions

Andre Schidler; Stefan Szeider

A solver for hypertree decompositions that was created for PACE 2019 (https://pacechallenge.org/2019/)

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.

 

Files (113.8 kB)
Name Size
frasmt.zip
md5:5e0e88cbdef0e634ed03fd8f72277bc9 		113.8 kB Download
356
14
views
downloads
All versions This version
Views 356356
Downloads 1414
Data volume 1.6 MB1.6 MB
Unique views 337337
Unique downloads 1414
More info on how stats are collected.
Indexed in
Publication date:
May 6, 2019
DOI:
10.5281/zenodo.3236333

Zenodo DOI Badge

DOI 

10.5281/zenodo.3236333

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3236333.svg)](https://doi.org/10.5281/zenodo.3236333)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3236333.svg
   :target: https://doi.org/10.5281/zenodo.3236333

HTML 

<a href="https://doi.org/10.5281/zenodo.3236333"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3236333.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3236333.svg

Target URL 

https://doi.org/10.5281/zenodo.3236333

License (for files):
GNU General Public License v3.0 only

Versions

Version 1.0.0 10.5281/zenodo.3236333 May 6, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3236332. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export