The recently presented constraint solver HySAT tackles the in general undecidable problem of solving mixed Boolean and non-linear arith- metic constraint formulae over the reals involving transcendental functions. The algorithmic core of HySAT is the iSAT algorithm, a tight integra- tion of the Da...
Cite this paper Felli, P., Montali, M., Winkler, S. (2022). CTL[Math Processing Error]∗ Model Checking for Data-Aware Dynamic Systems with Arithmetic. In: Blanchette, J., Kovács, L., Pattinson, D. (eds) Automated Reasoning. IJCAR 2022. Lecture Notes in Computer Science(), vol ...
To improve AOA's search procedure and find solutions that are close to optimal, the AOACS is created. Specifically, a new formulation of the C_ Iter uses the CS algorithm. This paper proposes a novel optimization algorithm based on the cuckoo search al- gorithm for solving engineering design...