( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers.

, , и . SAT, том 9710 из Lecture Notes in Computer Science, стр. 302-320. Springer, (2016)

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.

Rohit Sinha

Rohit Gupta

Rohit Ghai

Rohit Soni

Rohit Datta

 

Другие публикации лиц с тем же именем

Quantitative Synthesis for Concurrent Programs., , , , и . CAV, том 6806 из Lecture Notes in Computer Science, стр. 243-259. Springer, (2011)QUASY: Quantitative Synthesis Tool., , , и . TACAS, том 6605 из Lecture Notes in Computer Science, стр. 267-271. Springer, (2011)Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers., , и . SAT, том 9710 из Lecture Notes in Computer Science, стр. 302-320. Springer, (2016)Active learning for sampling in time-series experiments with application to gene expression analysis., , , , и . ICML, том 119 из ACM International Conference Proceeding Series, стр. 832-839. ACM, (2005)Graph algorithms for biological systems analysis., , и . SODA, стр. 142-151. SIAM, (2008)Measuring and Synthesizing Systems in Probabilistic Environments., , , и . J. ACM, 62 (1): 9:1-9:34 (2015)ChainTweak: Sampling from the Neighbourhood of a Protein Conformation., и . Pacific Symposium on Biocomputing, стр. 54-65. World Scientific, (2005)Identifying Structural Motifs in Proteins., и . Pacific Symposium on Biocomputing, стр. 228-239. (2003)Probabilistic Modeling of Systematic Errors in Two-Hybrid Experiments., , и . Pacific Symposium on Biocomputing, стр. 445-457. World Scientific, (2007)Estimating the angular dynamics of a fan window stroboscope from noisy quantum image measurements., , и . Quantum Inf. Process., 17 (9): 227 (2018)