GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
Abstract: This article proposes a constrained evolutionary Bayesian optimization (CEBO) algorithm to cope with expensive constrained optimization problems with inequality constraints. The uniqueness ...
Abstract: Satellite mission planning for Earth observation satellites is a combinatorial optimization problem that consists of selecting the optimal subset of imaging requests, subject to constraints, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback