Pari, Pushkin R.

2 publications

AAAI 2004 Finding Redundant Constraints for FSM Minimization Lin Yuan, Pushkin R. Pari, Gang Qu
AAAI 2004 Generating 'Random' 3-SAT Instances with Specific Solution Space Structure Pushkin R. Pari, Jane Lin, Lin Yuan, Gang Qu