From post

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.

 

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

Compiling CP subproblems to MDDs and d-DNNFs., , , и . Constraints An Int. J., 24 (1): 56-93 (2019)Closure Operators for ROBDDs., и . VMCAI, том 3855 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2006)Size-Change Termination Analysis in k-Bits., , , и . ESOP, том 3924 из Lecture Notes in Computer Science, стр. 230-245. Springer, (2006)A Secure Group Agreement (SGA) Protocol for Peer-to-Peer Applications., , и . AINA Workshops (1), стр. 24-29. IEEE Computer Society, (2007)String Constraint Solving: Past, Present and Future., , , , и . ECAI, том 325 из Frontiers in Artificial Intelligence and Applications, стр. 2875-2876. IOS Press, (2020)Algorithm Selection for Dynamic Symbolic Execution: A Preliminary Study., , , , и . LOPSTR, том 12561 из Lecture Notes in Computer Science, стр. 192-209. Springer, (2020)Secure random number agreement for peer-to-peer applications., , и . ICPADS, стр. 1-8. IEEE Computer Society, (2007)Dauphin: A Signal Processing Language - Statistical Signal Processing Made Easy., , и . DICTA, стр. 1-8. IEEE, (2015)Optimal Bounds for Floating-Point Addition in Constant Time., , , и . ARITH, стр. 159-166. IEEE, (2019)Un-Kleene Boolean equation Solving., , и . Int. J. Found. Comput. Sci., 18 (2): 227-250 (2007)