UPDATE: Zenodo migration postponed to Oct 13 from 06:00-08:00 UTC. Read the announcement.

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
381
16
views
downloads
All versions This version
Views 381381
Downloads 1616
Data volume 1.8 MB1.8 MB
Unique views 358358
Unique downloads 1616

Share

Cite as