Pushkin R. Pari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2004–2004
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | AAAI | Generating 'Random' 3-SAT Instances with Specific Solution Space Structure. | Pushkin R. Pari, Jane Lin, Lin Yuan, Gang Qu |
| 2004 | AAAI | Finding Redundant Constraints for FSM Minimization. | Lin Yuan, Pushkin R. Pari, Gang Qu |
| 2004 | ISCAS | How many solutions does a SAT instance have? | Pushkin R. Pari, Lin Yuan, Gang Qu |