Searching for authors named "Amitabha Roy" – sorted by Relevance.
-
K.: Improved probabilistic models for 802.11 protocol verification
- Improved Probabilistic Models for 802.11 Protocol Verification Amitabha Roy and K. Gopinath
- Cited by 2 (0 self) – Add To MetaCart
-
Definability of Languages by Generalized First-Order Formulas over (N
- Definability of Languages by Generalized First-Order Formulas over (N,+) Amitabha Roy and Howard
- Cited by 4 (1 self) – Add To MetaCart
-
Improved Probabilistic Models for 802.11 Protocol Verification
- Improved Probabilistic Models for 802.11 Protocol Verification Amitabha Roy and K. Gopinath
- Add To MetaCart
-
The Complexity of Symmetry-Breaking Formulas
- University of Oregon Eugene, OR 97403 luks@(email omitted); Amitabha Roy Department of Computer Science
- Cited by 4 (0 self) – Add To MetaCart
-
Symmetry Breaking in Constraint Satisfaction
- University of Oregon Eugene, OR 97403 luks@(email omitted); Amitabha Roy Department of Computer Science
- Cited by 3 (0 self) – Add To MetaCart
-
Combinatorics of singly-repairable families
- of Oregon, Eugene, OR 97403. luks@(email omitted); Amitabha Roy Computer Science Department, Boston College
- Cited by 1 (1 self) – Add To MetaCart
-
Symmetry-Breaking Predicates for Search Problems
- @(email omitted); Eugene Luks Amitabha Roy Department of Computer Science The University of Oregon Eugene, OR 97403
- Cited by 108 (0 self) – Add To MetaCart
-
Fault Tolerant Boolean Satisfiability
- Eugene, OR 97403, USA aroy@(email omitted); Amitabha Roy Dept. of Computer Science Boston College
- Add To MetaCart
-
Incomplete quadratic exponential sums in several variables
- VARIABLES EDUARDO DUENEZ, STEVEN J. MILLER, AMITABHA ROY, AND HOWARD STRAUBING Abstract. We consider
- Cited by 1 (0 self) – Add To MetaCart
-
Symmetry Breaking And Fault Tolerance In Boolean Satisfiability
- SYMMETRY BREAKING AND FAULT TOLERANCE IN BOOLEAN SATISFIABILITY by AMITABHA ROY A DISSERTATION
- Cited by 2 (1 self) – Add To MetaCart

