A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic

Saved in:
Bibliographic Details
Published inProceedings of the ... AAAI Conference on Artificial Intelligence
Format Journal Article
LanguageEnglish
Online AccessGet full text
ISSN2159-5399
2374-3468
DOI10.1609/aaai.v39i11.33224

Cover

More Information
ISSN:2159-5399
2374-3468
DOI:10.1609/aaai.v39i11.33224