Search results for: Prabhakar Ragde
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing - SAT 2006 > Session 9. Counting and Concurrency > 396-409
Algorithmica > 2008 > 52 > 2 > 267-292
Acta Informatica > 2007 > 44 > 7-8 > 509-523
Algorithmica > 2006 > 45 > 2 > 159-182
Discrete Applied Mathematics > 2005 > 152 > 1-3 > 229-245
Discrete Applied Mathematics > 2005 > 145 > 2 > 242-265
Journal of Computer and System Sciences > 2004 > 69 > 2 > 166-195
Journal of Algorithms > 2002 > 42 > 1 > 69-108
Electronic Notes in Discrete Mathematics > 2001 > 10 > Complete > 137-142
Journal of Computer and System Sciences > 1998 > 57 > 3 > 366-375