From post

Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search.

, , , , , , и . CP, том 9892 из Lecture Notes in Computer Science, стр. 650-665. 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.

 

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

Dynamic Detection of AsyncTask Related Defects., , , , и . QRS, стр. 357-366. IEEE, (2021)Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search., , , , , , и . CP, том 9892 из Lecture Notes in Computer Science, стр. 650-665. Springer, (2016)Static asynchronous component misuse detection for Android applications., , , , , , и . ESEC/SIGSOFT FSE, стр. 952-963. ACM, (2020)Application of 3D-LiDAR & Camera Extrinsic Calibration in Urban Rail Transit., , , , , , и . ICITE, стр. 456-460. IEEE, (2020)Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android., , , , , и . ISSTA, стр. 394-397. ACM, (2019)LAND: a user-friendly and customizable test generation tool for Android apps., , , , и . ISSTA, стр. 360-363. ACM, (2018)Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment., , , , , , и . CP, том 10416 из Lecture Notes in Computer Science, стр. 405-413. Springer, (2017)Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation., , , , и . COMPSAC (1), стр. 67-74. IEEE Computer Society, (2017)Multiple-entry testing of Android applications by constructing activity launching contexts., , , , , и . ICSE, стр. 457-468. ACM, (2020)