Author of the publication

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

, , , , , , and . CP, volume 9892 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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