( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Fresh Look at Zones and Octagons.

, , , , , и . ACM Trans. Program. Lang. Syst., 43 (3): 11:1-11:51 (2021)

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.

Graeme Gange

Andreas Gängel

Graeme Smith

Graeme Cokayne

Graeme Pope

 

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

Core-Guided and Core-Boosted Search for CP., , , и . CPAIOR, том 12296 из Lecture Notes in Computer Science, стр. 205-221. Springer, (2020)Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning., , , и . AAAI, стр. 8065-8072. AAAI Press, (2024)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)Dashed strings for string constraint solving., , и . Artif. Intell., (2020)SLA-Based Profit Optimization Resource Scheduling for Big Data Analytics-as-a-Service Platforms in Cloud Computing Environments., , , , и . IEEE Trans. Cloud Comput., 9 (3): 1236-1253 (2021)Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation., , и . ICAPS, стр. 155-162. AAAI Press, (2019)New Techniques for Pairwise Symmetry Breaking in Multi-Agent Path Finding., , , , , и . SOCS, стр. 129-130. AAAI Press, (2020)Dashed Strings and the Replace(-all) Constraint., , и . CP, том 12333 из Lecture Notes in Computer Science, стр. 3-20. Springer, (2020)Dissecting Widening: Separating Termination from Information., , , , и . APLAS, том 11893 из Lecture Notes in Computer Science, стр. 95-114. Springer, (2019)