{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:39:16Z","timestamp":1723016356258},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,7]]},"abstract":"<jats:p>Application domains of Bayesian optimization include optimizing black-box functions or very complex functions.\n\nThe functions we are interested in describe complex real-world systems applied in industrial settings.\n\nEven though they do have explicit representations, standard optimization techniques fail to provide validated solutions and correctness guarantees for them.\n\nIn this paper we present a combination of Bayesian optimization and SMT-based constraint solving to achieve safe and stable solutions with optimality guarantees.<\/jats:p>","DOI":"10.24963\/ijcai.2022\/249","type":"proceedings-article","created":{"date-parts":[[2022,7,16]],"date-time":"2022-07-16T02:55:56Z","timestamp":1657940156000},"page":"1788-1794","source":"Crossref","is-referenced-by-count":1,"title":["Combining Constraint Solving and Bayesian Techniques for System Optimization"],"prefix":"10.24963","author":[{"given":"Franz","family":"Brau\u00dfe","sequence":"first","affiliation":[{"name":"The University of Manchester"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zurab","family":"Khasidashvili","sequence":"additional","affiliation":[{"name":"Intel, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantin","family":"Korovin","sequence":"additional","affiliation":[{"name":"The University of Manchester"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"31","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-2022","name":"Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}","start":{"date-parts":[[2022,7,23]]},"theme":"Artificial Intelligence","location":"Vienna, Austria","end":{"date-parts":[[2022,7,29]]}},"container-title":["Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T11:08:36Z","timestamp":1658142516000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2022\/249"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2022,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2022\/249","relation":{},"subject":[],"published":{"date-parts":[[2022,7]]}}}