loading...
SAT-Based Techniques in System Synthesis
Munich, Germany March 03-March 07
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10032Design, Automation and Test in Europe ...
 This Article 
 
PURCHASE ARTICLE: $0
HTML
IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien, "SAT-Based Techniques in System Synthesis," Design, Automation and Test in Europe Conference and Exhibition, vol. 1, pp. 11168, Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003.
 
 
BibTex
x
 
@article{ 10.1109/DATE.2003.10032,
author = {Christian Haubelt and Jürgen Teich and Rainer Feldmann and Burkhard Monien},
title = {SAT-Based Techniques in System Synthesis},
journal ={Design, Automation and Test in Europe Conference and Exhibition},
volume = {1},
year = {2003},
issn = {1530-1591},
pages = {11168},
doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2003.10032},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Design, Automation and Test in Europe Conference and Exhibition
TI - SAT-Based Techniques in System Synthesis
SN - 1530-1591
SP
EP
A1 - Christian Haubelt,
A1 - Jürgen Teich,
A1 - Rainer Feldmann,
A1 - Burkhard Monien,
PY - 2003
KW - null
VL - 1
JA - Design, Automation and Test in Europe Conference and Exhibition
ER -
 
Christian Haubelt, University of Erlangen-Nuremberg
Jürgen Teich, University of Erlangen-Nuremberg
Rainer Feldmann, University of Paderborn
Burkhard Monien, University of Paderborn
In this paper, we show how to integrate SAT-based techniques into the task of system synthesis by regarding the the problems: (i) feasibility check and (ii) evaluation of quality.
Citation:
Christian Haubelt, Jürgen Teich, Rainer Feldmann, Burkhard Monien, "SAT-Based Techniques in System Synthesis," date, vol. 1, pp.11168, Design, Automation and Test in Europe Conference and Exhibition (DATE'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.