Search the dblp DataBase

Publications of Author

1. Pushkin R. Pari, Jane Lin, Lin Yuan, Gang Qu
   Generating 'Random' 3-SAT Instances with Specific Solution Space Structure. [Citation Graph (0, 0)][DBLP]
   AAAI, 2004, pp:960-961 [Conf]
   
2. Lin Yuan, Pushkin R. Pari, Gang Qu
   Finding Redundant Constraints for FSM Minimization. [Citation Graph (0, 0)][DBLP]
   AAAI, 2004, pp:976-977 [Conf]
   
3. Shaoxiong Hua, Pushkin R. Pari, Gang Qu
   Dual-Processor Design of Energy Efficient Fault-Tolerant System. [Citation Graph (0, 0)][DBLP]
   ASAP, 2006, pp:239-244 [Conf]
   
4. Adarsh K. Jain, Lin Yuan, Pushkin R. Pari, Gang Qu
   Zero overhead watermarking technique for FPGA designs. [Citation Graph (0, 0)][DBLP]
   ACM Great Lakes Symposium on VLSI, 2003, pp:147-152 [Conf]
   
5. Lin Yuan, Pushkin R. Pari, Gang Qu
   Soft IP Protection: Watermarking HDL Codes. [Citation Graph (0, 0)][DBLP]
   Information Hiding, 2004, pp:224-238 [Conf]
   
6. Pushkin R. Pari, Lin Yuan, Gang Qu
   How many solutions does a SAT instance have? [Citation Graph (0, 0)][DBLP]
   ISCAS (5), 2004, pp:209-212 [Conf]