ML Anthology
Authors
Search
About
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