Daijue Tang, Yinlei Yu, Darsh Ranjan, Sharad Malik
Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems
SAT, 2004.
@inproceedings{SAT-2004-TangYRM,
author = "Daijue Tang and Yinlei Yu and Darsh Ranjan and Sharad Malik",
booktitle = "{Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing}",
ee = "http://www.satisfiability.org/SAT04/programme/83.pdf",
pages = "214--223",
title = "{Analysis of Search Based Algorithms for Satisfiability of Quantified Boolean Formulas Arising from Circuit State Space Diameter Problems}",
year = 2004,
}