C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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