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.

 

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

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT., , , и . J. Satisf. Boolean Model. Comput., 11 (1): 73-97 (2019)Program equivalence for assisted grading of functional programs., , , и . Proc. ACM Program. Lang., 4 (OOPSLA): 171:1-171:29 (2020)MaxSAT Evaluation 2018: New Developments and Detailed Results., , и . J. Satisf. Boolean Model. Comput., 11 (1): 99-131 (2019)SyRust: automatic testing of Rust libraries with semantic-aware program synthesis., , , и . PLDI, стр. 899-913. ACM, (2021)Automating network heuristic design and analysis., , , , и . HotNets, стр. 8-16. ACM, (2022)Improving Search Space Splitting for Parallel SAT Solving., , и . ICTAI (1), стр. 336-343. IEEE Computer Society, (2010)Formal Verification of a Mixed-Trust Synchronization Protocol., , , , , , , и . RTNS, стр. 57-67. ACM, (2021)Towards provably performant congestion control., , , , и . NSDI, USENIX Association, (2024)Clause Sharing in Parallel MaxSAT., , и . LION, том 7219 из Lecture Notes in Computer Science, стр. 455-460. Springer, (2012)Open-WBO: A Modular MaxSAT Solver, ., , и . SAT, том 8561 из Lecture Notes in Computer Science, стр. 438-445. Springer, (2014)