software . 2019

HtdSMT - An SMT based solver for hypertree decompositions

Andre Schidler; Stefan Szeider;
Open Source
  • Published: 06 May 2019
  • Publisher: Zenodo
Abstract
<p>A solver for hypertree decompositions that was created for PACE 2019 (https://pacechallenge.org/2019/)</p> <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> <p>&nbsp;</p>
Subjects
free text keywords: Biochemistry, Microbiology, Neuroscience, Inorganic Chemistry, Science Policy, 111714 Mental Health, Hematology, Plant Biology, 60506 Virology, 39999 Chemical Sciences not elsewhere classified, 80699 Information Systems not elsewhere classified, solver, SMT, PACE, hypertree decompositions
Communities
Science and Innovation Policy Studies
Download fromView all 4 versions
Zenodo
Software . 2019
Provider: Datacite
Zenodo
Software . 2019
Provider: Datacite
Zenodo
Software . 2019
Provider: Zenodo
figshare
Software . 2019
Provider: figshare
Any information missing or wrong?Report an Issue