@inproceedings{SAT-2014-HeymanSMLA,
author = "Tamir Heyman and Dan Smith and Yogesh Mahajan and Lance Leong and Husam Abu-Haimed",
booktitle = "{Proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, Held as Part of the Vienna Summer of Logic (VSL 2014)}",
doi = "10.1007/978-3-319-09284-3_18",
isbn = "978-3-319-09283-6",
pages = "227--242",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Dominant Controllability Check Using QBF-Solver and Netlist Optimizer}",
volume = 8561,
year = 2014,
}
Tags: