Demiurge: A SAT-Based Synthesis Tool

Robert Könighofer, Martina Seidl

Research output: Book/ReportOther reportResearch

Original languageEnglish
Publisher.
Publication statusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Basic - Fundamental (Grundlagenforschung)
  • Application

Cite this

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

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

., 2014.

Research output: Book/ReportOther reportResearch

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

}

TY - BOOK

T1 - Demiurge: A SAT-Based Synthesis Tool

AU - Könighofer, Robert

AU - Seidl, Martina

PY - 2014

Y1 - 2014

M3 - Other report

BT - Demiurge: A SAT-Based Synthesis Tool

PB - .

ER -