SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
Spaceforge: Your ultimate Obsidian plugin for efficient knowledge management, memory retention, and exam preparation. Featuring advanced spaced repetition (FSRS & SM ...
Abstract: This paper presents an extended gradient-based optimization framework for optimal control problems governed by general conformable fractional derivatives (GCFDs), which unify various ...
Abstract: Recent studies have been conducted actively on scheduling in a parcel delivery system using a truck and drones to deliver parcels more effectively. In logistics, it is necessary to provide ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results