A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders.

Léo Exibard Emmanuel Filiot Ayrat Khalimov

Published in: ICALP (2022)

Keyphrases

high level
artificial intelligence
real world
integer programming
information systems
image processing
optimal solution
lower bound
artificial neural networks
search space
np hard
supply chain
linear programming
solution quality