Author:
Chakraborty Supratik,Fremont Daniel J.,Meel Kuldeep S.,Seshia Sanjit A.,Vardi Moshe Y.
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. CryptoMiniSAT,
http://www.msoos.org/cryptominisat2/
2. Bellare, M., Goldreich, O., Petrank, E.: Uniform generation of NP-witnesses using an NP-oracle. Information and Computation 163(2), 510–526 (2000)
3. Bening, L., Foster, H.: Principles of verifiable RTL design – A functional coding style supporting verification processes. Springer (2001)
4. Lecture Notes in Computer Science;S. Chakraborty,2013
5. Lecture Notes in Computer Science;S. Chakraborty,2013
Cited by
62 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献