( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Scalable constraint-based virtual data center allocation.

, , , , , и . Artif. Intell., (2020)

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.

Ebie Sam

Inn Sam

Sam Dahlgren

Andreas Sam

Sam Samnang

 

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

Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond., , , , и . EuroS&P, стр. 31-46. IEEE, (2016)Debugging Network Reachability with Blocked Paths., , , , , , , , , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 851-862. Springer, (2021)DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories., , , , , , , и . TACAS (1), том 14570 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2024)Single-Solver Algorithms for 2QBF - (Poster Presentation)., и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 487-488. Springer, (2012)Reachability Analysis for AWS-Based Networks., , , , , , , , , и 9 other автор(ы). CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 231-241. Springer, (2019)Scalable constraint-based virtual data center allocation., , , , , и . Artif. Intell., (2020)Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog., , , , , , и . ACM Trans. Design Autom. Electr. Syst., 20 (1): 7:1-7:23 (2014)Automated Analyses of IOT Event Monitoring Systems., , , , , , , , и . CAV (1), том 13964 из Lecture Notes in Computer Science, стр. 27-39. Springer, (2023)Fast, Flexible, and Minimal CTL Synthesis via SMT., , и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 136-156. Springer, (2016)Legends of descent: analytics in an ad-supported windows phone game., и . MobiGames@SIGCOMM, стр. 1-6. ACM, (2012)