1 compiler-"Multiple"-"Foundation-for-Research-and-Technology-Hellas" positions at Monash University in Australia

Efficient Incrementality in Learning Solvers

Monash University | Melbourne, Victoria | Australia | about 21 hours ago

multi-objective optimisation, (3) optimisation and user interaction, (4) optimisation in the context of knowledge compilation (e.g. computing smallest representations of AI and ML systems), (5) problems