SAT-based Sequential Depth Computation. Mneimneh, M. & Sakallah, K. In First International Workshop on Constraints in Formal Verification, Held in conjunction with Eight International Conference on Principles and Practice of Constraint Programming, CP2002, Ithaca, New York, September 8, 2002.
bibtex   
@inproceedings{mneimneh2002sat,
   author = {Mneimneh, Maher and Sakallah, Karem},
   title = {{SAT-based Sequential Depth Computation}},
   booktitle = {First International Workshop on Constraints in Formal Verification, Held in conjunction with Eight International Conference on Principles and Practice of Constraint Programming, CP2002},
   address = {Ithaca, New York},
   month = {September 8},
   year = {2002}

}

Downloads: 0