SharpSMT first fuses DPLL(T) polytope enumeration with new factorization, variable-elimination and caching pre-processing, ...
Abstract: This paper presents a redesigned and modular implementation of the Adaptive Hybrid Feature Selection (AHFS) algorithm in a Python environment, originally developed in MATLAB. The new version ...
Abstract: This work investigates the design of approximate arithmetic operator units used in the VLSI modular reduction (AxMOD) architecture. The AxMOD architecture herein proposed explores the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback