The paper presents a method of determining the robustness of solutions of systems of interval linear equations (ILEs). The method can be applied also for t... A Piegat,M Pluciński - 《International Journal of Applied Mathematics & Computer Science》 被引量: 0发表: 2023年 加载更多研究...
The following is a summary of this paper's significant contributions: Processes 2023, 11, 1380 4 of 34 • We suggest a brand-new hybrid algorithm called AOACS based on the arithmetic optimization algorithm (AOA) and cuckoo search (CS) approach inspired by the AOA and CS algorithm design....
Encoding RTL Constructs for MathSAT: a Preliminary Report In this paper we present a way of encoding RTL constructs into SMT formulas, that is, Boolean combinations of Boolean variables and quantifier-free constraints in integer linear arithmetic. Such formulas can be handled by the {\\\sc .....
our algorithm invokes a SAT solver to produce proofs of unsatisfiability of approximations ofφ. These proofs are in turn used to generate abstractions ofφas inputs to a theorem prover. The SAT-encodings of the approximations ofφare