W. Nye and E. Polak and A. Sangiovanni-Vincentelli and A. Tits

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M81/19

1981

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1981/ERL-m-81-19.pdf

---

BibTeX citation:

@techreport{Nye:M81/19,
    Author= {Nye, W. and Polak, E. and Sangiovanni-Vincentelli, A. and Tits, A.},
    Title= {Delight: An Optimization-Based Computer-Aided Design System},
    Year= {1981},
    Month= {Apr},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1981/28996.html},
    Number= {UCB/ERL M81/19},
}

EndNote citation:

%0 Report
%A Nye, W. 
%A Polak, E. 
%A Sangiovanni-Vincentelli, A. 
%A Tits, A. 
%T Delight: An Optimization-Based Computer-Aided Design System
%I EECS Department, University of California, Berkeley
%D 1981
%@ UCB/ERL M81/19
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1981/28996.html
%F Nye:M81/19