( en | de | ru )

 

Disambiguation of "Joshi, Saurabh"

Author of the publication

copydeleteadd this publication to your clipboard
Phase Transition Behavior of Cardinality and XOR Constraints.

, , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Saurabh Sanatani

Saurabh Srivastava

Saurabh Bhavsar

Jidnyasa Joshi

Saurabh Ray

 

Other publications of authors with the same name

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)., , , , and . CoRR, (2016)On the tractability of (k, i)-coloring., , , and . Discret. Appl. Math., (2021)GPURepair: Automated Repair of GPU Kernels., and . VMCAI, volume 12597 of Lecture Notes in Computer Science, page 401-414. Springer, (2021)Distributed Generalized Dynamic Barrier Synchronization., , and . ICDCN, volume 6522 of Lecture Notes in Computer Science, page 143-154. Springer, (2011)GREEN BUILDINGS ARE ENVIRONMENTAL SUSTAINABLE BUILDINGS, , , and . International Journal of Research Publication, 3 (1003152018101): 6 (April 2018)Phase Transition Behavior of Cardinality and XOR Constraints., , and . CoRR, (2019)Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT., , , and . J. Satisf. Boolean Model. Comput., 11 (1): 73-97 (2019)OpenMP aware MHP Analysis for Improved Static Data-Race Detection., , , and . LLVM-HPC@SC, page 1-11. IEEE, (2021)Property-Driven Fence Insertion Using Reorder Bounded Model Checking., and . FM, volume 9109 of Lecture Notes in Computer Science, page 291-307. Springer, (2015)The Virtues of Conflict: Analyzing Modern Concurrency., , and . CoRR, (2016)