Boolean Satisfiability in Electronic Design Automation. Marques-Silva, J. & Sakallah, K. A. In Proc. 37th IEEE/ACM Design Automation Conference (DAC), pages 675-680, Los Angeles, California, June, 2000.
bibtex   
@inproceedings{marquessilva2000boolean,
   author = {Marques-Silva, {J\~oao} and Sakallah, Karem A.},
   title = {{Boolean Satisfiability in Electronic Design Automation}},
   booktitle = {Proc. 37th IEEE/ACM Design Automation Conference (DAC)},
   address = {Los Angeles, California},
   pages = {675-680},
   month = {June},
   year = {2000}
}

Downloads: 0