Artifact Open Access Logo

d-DNNF Modulo Theories - Tool Source Code Software

Authors Gabriele Masina , Emanuele Civini , Massimo Michelutti , Giuseppe Spallitta , Roberto Sebastiani

Document Identifiers

Author Details

Gabriele Masina
  • DISI, University of Trento, Italy
Emanuele Civini
  • DISI, University of Trento, Italy
Massimo Michelutti
  • DISI, University of Trento, Italy
Giuseppe Spallitta
  • Rice University, Houston, TX, USA
Roberto Sebastiani
  • DISI, University of Trento, Italy

Content

Version/Status

  • Content created at: 2025-10-08

Cite As Get BibTex

https://doi.org/10.4230/artifacts.26305

Description

Tools and scripts used in my Master's thesis project

Subject Classification

Programming Languages
  • SMT
  • Python

Related Article

  • Gabriele Masina, Emanuele Civini, Massimo Michelutti, Giuseppe Spallitta, and Roberto Sebastiani. d-DNNF Modulo Theories: A General Framework for Polytime SMT Queries. In 29th International Conference on Theory and Applications of Satisfiability Testing (SAT 2026). Leibniz International Proceedings in Informatics (LIPIcs), Volume 377, pp. 25:1-25:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/LIPIcs.SAT.2026.25

Metrics

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact