Demiurge 1.2.0: A SAT-Based Synthesis Tool

Robert Könighofer, Martina Seidl

Research output: Book/ReportOther reportResearch

Original languageEnglish
Publisher.
Publication statusPublished - 2015

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Könighofer, R., & Seidl, M. (2015). Demiurge 1.2.0: A SAT-Based Synthesis Tool. .

Demiurge 1.2.0: A SAT-Based Synthesis Tool. / Könighofer, Robert; Seidl, Martina.

., 2015.

Research output: Book/ReportOther reportResearch

Könighofer, R & Seidl, M 2015, Demiurge 1.2.0: A SAT-Based Synthesis Tool. .
Könighofer R, Seidl M. Demiurge 1.2.0: A SAT-Based Synthesis Tool. ., 2015.
Könighofer, Robert ; Seidl, Martina. / Demiurge 1.2.0: A SAT-Based Synthesis Tool. ., 2015.
@book{4dde8bf43541490fae3dd33429443af9,
title = "Demiurge 1.2.0: A SAT-Based Synthesis Tool",
author = "Robert K{\"o}nighofer and Martina Seidl",
year = "2015",
language = "English",
publisher = ".",

}

TY - BOOK

T1 - Demiurge 1.2.0: A SAT-Based Synthesis Tool

AU - Könighofer, Robert

AU - Seidl, Martina

PY - 2015

Y1 - 2015

M3 - Other report

BT - Demiurge 1.2.0: A SAT-Based Synthesis Tool

PB - .

ER -