Jeremias Berg of the Constraint Reasoning and Optimization Group receives the 2020 Doctoral Research Award of the Association for Constraint Programming. of the has been awarded the of the (ACP) for ...
The study of string constraints and symbolic computation encompasses the development of methods and algorithms for analysing and solving problems where variables represent sequences of characters.
Jeremias Berg received the 2020 Doctoral Research Award of the Association for Constraint Programming. of the has been awarded the of the (ACP) for his PhD thesis . The ACP is the primary ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results